model-checker
There are 37 repositories under model-checker topic.
stateright/stateright
A model checker for implementing distributed systems.
parapluu/Concuerror
Concuerror is a stateless model checking tool for Erlang programs.
moves-rwth/storm
A Modern Probabilistic Model Checker
mCRL2org/mCRL2
The Git repository for the mCRL2 toolset.
uuverifiers/eldarica
The Eldarica model checker
SRI-CSL/sally
A model checker for infinite-state systems.
utwente-fmt/ltsmin
The LTSmin model checking toolset
ltlfuzzer/LTL-Fuzzer
Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)
ocaml-multicore/dscheck
Experimental model checker for testing concurrent algorithms
nicolasAmat/SMPT
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
IMITATOR is a parametric timed model checker taking as input extensions of parametric timed automata, and synthesizing parameter valuations for safety properties and more.
nclarius/pyPL
Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions
formalmethods/intrepid
Intrepyd Model Checker
koehlma/momba
A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.
Smattr/rumur
yet another model checker
wimmers/munta
Fully verified model checker for realtime systems
d702e20/CGAAL
An on-the-fly, multi-threaded ATL model checker on concurrent game structures
ahamez/pnmc
An efficient Petri net model checker using Hierarchical Set Decision Diagrams.
porglezomp/hyalite
A bounded model checker for an IMP-style imperative language.
NotBad4U/mcltl-rs
[beta] An experimental model checker for LTL written in Rust
sgomber/traffic-controller-NuSMV
Project done for my B.Tech course on Formal Methods for System Verification
jkeiren/TimeSolver
On-the-fly model checker for timed automata with support for the alternation-free modal mu-calculus.
yylonly/LTSA
Real-time System Modeling and Verification through Labeled Transition System Analyser (LTSA)
bergfi/llmc
LLMC is a multi-core model checker of LLVM IR. It translates the input LLVM IR into a model LLVM IR that implements the DMC API, the API of the model checker DMC. This allows LLMC to execute the model's next-state function, instead of interpreting the input LLVM IR, enabling speedups of orders of magnitude.
rtsaad/mercury
High-Performance Model Checker developed for multicore, multiprocessors machines (NUMA).
MrDiver/ImSpin
ImSpin is an advanced and modernized version of the classic iSpin frontend, leveraging the power and flexibility of ImGui to provide a superior user experience. Designed as the frontend for the SPIN model checker, ImSpin aims to offer an intuitive, efficient, and visually appealing interface for model checking enthusiasts and professionals.
phagenlocher/braincheck
A static and dynamic analyzer for Brainfuck
RohanKrishnamurthy/L-DACS
The formal proof of the security of the Mutual Authentication and Key Exchange (MAKE) protocol of LDACS using the symbolic model checker Tamarin.
sybila/pithya-gui
R based GUI for biodivine
iamonur/the_legendary_pipeline
Study for mah thesis
JakubSarnik/geyser
Simple implementation of PDR and CAR model checking algorithms
LucaGrasso/LPVS----Model-Checker-di-una-BlockChain
Progetto di Model Checker - Progetto presentato al il corso di laurea L31 a Urbino
star-finder/jpf-core
The core of Java PathFinder
juliendelplanque/DatabaseCritics
A tool to run critics on SQL database schema dumps.