52 Open Source Model Checking Software Projects
Free and open source model checking code projects including engines, APIs, generators, and tools.
Tlaplus 1647 ⭐
TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
Thomasp85 Lime 459 ⭐
Local Interpretable Model-Agnostic Explanations (R port of original Python package)
Blockingqueue 383 ⭐
Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!
Theta 23 ⭐
Generic, modular and configurable formal verification framework supporting various formalisms and algorithms
Pfnet Research Pml 10 ⭐
A ML-like programming language with type-based probabilistic behavior specification, developed as part of PFN summer internship 2018.
Eve Parity 11 ⭐
Equilibrium Verification Environment (EVE) is a formal verification tool for the automated analysis of temporal equilibrium properties of concurrent and multi-agent systems.
Ewd998 30 ⭐
Distributed termination detection on a ring, due to Shmuel Safra: https://www.cs.utexas.edu/users/EWD/ewd09xx/EWD998.PDF
Verdict 19 ⭐
DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurity Threats (VERDICT)
Prover9 12 ⭐
Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.
Voxlogica 11 ⭐
VoxLogicA: the "Voxel-based Logical Analyser", is an interpreter of a declarative language, inspired by spatial logics, to analyse images in a simple way. See also http://www.voxlogica.org .