Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Alive2 | 634 | 2 months ago | 56 | mit | C++ | |||||
Automatic verification of LLVM optimizations | ||||||||||
Apalache | 387 | 2 months ago | 292 | apache-2.0 | Scala | |||||
APALACHE: symbolic model checker for TLA+ and Quint | ||||||||||
Avr | 47 | a year ago | 1 | gpl-3.0 | C++ | |||||
Reads a state transition system and performs property checking | ||||||||||
Theta | 44 | 4 months ago | 42 | apache-2.0 | Java | |||||
Generic, modular and configurable formal verification framework supporting various formalisms and algorithms | ||||||||||
Smpt | 26 | 4 months ago | 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). | ||||||||||
Bymc | 17 | a year ago | other | C | ||||||
Byzantine model checker | ||||||||||
Cubicle | 13 | a year ago | 5 | apache-2.0 | OCaml | |||||
The Cubicle model checker |