A model checker for implementing distributed systems.
-
Updated
Apr 14, 2024 - Rust
A model checker for implementing distributed systems.
Concuerror is a stateless model checking tool for Erlang programs.
A Modern Probabilistic Model Checker
The Git repository for the mCRL2 toolset.
The Eldarica model checker
A model checker for infinite-state systems.
The LTSmin model checking toolset
Experimental model checker for testing concurrent algorithms
SMPT is a SMT-based model checker for Petri nets focused on reachability problems that takes advantage of net reductions (polyhedral reductions).
IMITATOR is a parametric timed model checker taking as input extensions of parametric timed automata, and synthesizing parameter valuations for safety properties and more.
A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.
Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions
Intrepyd Model Checker
Fully verified model checker for realtime systems
An on-the-fly, multi-threaded ATL model checker on concurrent game structures
An efficient Petri net model checker using Hierarchical Set Decision Diagrams.
A bounded model checker for an IMP-style imperative language.
Project done for my B.Tech course on Formal Methods for System Verification
Add a description, image, and links to the model-checker topic page so that developers can more easily learn about it.
To associate your repository with the model-checker topic, visit your repo's landing page and select "manage topics."