| epfl-lara/stainless |
339 |
|
0 |
0 |
over 2 years ago |
0 |
|
259 |
apache-2.0 |
HTML |
| Verification framework and tool for higher-order Scala programs |
| Gbury/mSAT |
96 |
|
0 |
0 |
over 2 years ago |
0 |
|
6 |
apache-2.0 |
OCaml |
| A modular sat/smt solver with proof output. |
| c-cube/mc2 |
38 |
|
0 |
0 |
over 2 years ago |
0 |
|
2 |
apache-2.0 |
SMT |
| [research] A modular SMT solver in OCaml, based on mcSAT |
| TorXakis/TorXakis |
37 |
|
0 |
0 |
over 4 years ago |
0 |
|
322 |
other |
Haskell |
| A tool for Model Based Testing |
| c-cube/sidekick |
23 |
|
0 |
0 |
over 2 years ago |
0 |
|
7 |
apache-2.0 |
SMT |
| A modular library for CDCL(T) SMT solvers, with [wip] proof generation. |
| c-cube/smbc |
21 |
|
0 |
0 |
almost 4 years ago |
0 |
|
2 |
bsd-2-clause |
OCaml |
| Experimental model finder/SMT solver for functional programming. |
| FMJS/EMME |
5 |
|
0 |
0 |
about 8 years ago |
0 |
|
3 |
other |
Python |
| EMME: ECMAScript Memory Model Evaluator |
| epfl-lara/StainlessFit |
5 |
|
0 |
0 |
over 4 years ago |
0 |
|
19 |
apache-2.0 |
Scala |
| Stainless directly built on System FR, with standalone front-end |
