All Categories → No Category → soundness-proof

Top 1 soundness-proof open source projects

Sturdy is a library for developing sound static analyses in Haskell.

✭ 49

pascal haskell java scheme typescript HTML interpreter static-analysis abstract-interpretation soundness-proof analysis-components

1-1 of 1 soundness-proof projects