Cubicle

Alternatives To Cubicle
Project NameStarsDownloadsRepos Using ThisPackages Using ThisMost Recent CommitTotal ReleasesLatest ReleaseOpen IssuesLicenseLanguage
Alive2634
2 months ago56mitC++
Automatic verification of LLVM optimizations
Apalache387
2 months ago292apache-2.0Scala
APALACHE: symbolic model checker for TLA+ and Quint
Avr47
a year ago1gpl-3.0C++
Reads a state transition system and performs property checking
Theta44
4 months ago42apache-2.0Java
Generic, modular and configurable formal verification framework supporting various formalisms and algorithms
Smpt26
4 months agogpl-3.0Python
SMPT is a SMT-based model checker for Petri nets focused on reachability problems that takes advantage of net reductions (polyhedral reductions).
Bymc17
a year agootherC
Byzantine model checker
Cubicle13
a year ago5apache-2.0OCaml
The Cubicle model checker
Alternatives To Cubicle
Select To Compare


Alternative Project Comparisons
Popular Model Checking Projects
Popular Smt Projects
Popular Software Quality Categories
Related Searches

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Ocaml
Smt
Reachability
Model Checking