| ultimate-pa/ultimate |
175 |
|
0 |
0 |
about 2 years ago |
0 |
|
219 |
|
Java |
| The Ultimate program analysis framework. |
| utwente-fmt/ltsmin |
49 |
|
0 |
0 |
over 2 years ago |
0 |
|
69 |
bsd-3-clause |
C |
| The LTSmin model checking toolset |
| nicolasAmat/SMPT |
26 |
|
0 |
0 |
over 2 years ago |
0 |
|
0 |
gpl-3.0 |
Python |
| SMPT is a SMT-based model checker for Petri nets focused on reachability problems that takes advantage of net reductions (polyhedral reductions). |
| imitator-model-checker/imitator |
23 |
|
0 |
0 |
about 2 years ago |
0 |
|
54 |
gpl-3.0 |
OCaml |
| IMITATOR is a parametric timed model checker taking as input extensions of parametric timed automata, and synthesizing parameter valuations for safety properties and more. |
| cubicle-model-checker/cubicle |
13 |
|
0 |
0 |
almost 3 years ago |
0 |
|
5 |
apache-2.0 |
OCaml |
| The Cubicle model checker |
