Stainless
Verification framework and tool for higher-order Scala programs
| Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
|---|---|---|---|---|---|---|---|---|---|---|
| Stainless | 339 | 4 months ago | 259 | apache-2.0 | HTML | |||||
| Verification framework and tool for higher-order Scala programs | ||||||||||
| Mc2 | 38 | 4 months ago | 2 | apache-2.0 | SMT | |||||
| [research] A modular SMT solver in OCaml, based on mcSAT | ||||||||||
| Torxakis | 37 | 3 years ago | 322 | other | Haskell | |||||
| A tool for Model Based Testing | ||||||||||
| Sidekick | 23 | 4 months ago | 7 | apache-2.0 | SMT | |||||
| A modular library for CDCL(T) SMT solvers, with [wip] proof generation. | ||||||||||
| Smbc | 21 | 2 years ago | 2 | bsd-2-clause | OCaml | |||||
| Experimental model finder/SMT solver for functional programming. | ||||||||||
| Emme | 5 | 6 years ago | 3 | other | Python | |||||
| EMME: ECMAScript Memory Model Evaluator | ||||||||||
| Stainlessfit | 5 | 3 years ago | 19 | apache-2.0 | Scala | |||||
| Stainless directly built on System FR, with standalone front-end | ||||||||||
Alternatives To StainlessSelect To Compare
Alternative Project Comparisons
Popular Smt Projects
Popular Formal Methods Projects
Popular Software Quality Categories
Related Searches
Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Html
Scala
Smt
Formal Methods