model-checking topic
List
model-checking repositories
storm
124
Stars
73
Forks
Watchers
A Modern Probabilistic Model Checker
mCRL2
84
Stars
36
Forks
Watchers
The Git repository for the mCRL2 toolset.
plutus-experimental-smart-contracts
34
Stars
7
Forks
Watchers
Experimental Smart Contracts In Plutus.
CoSA
60
Stars
15
Forks
Watchers
CoreIR Symbolic Analyzer
theta
45
Stars
40
Forks
Watchers
Generic, modular and configurable formal verification framework supporting various formalisms and algorithms
memalloy
28
Stars
6
Forks
Watchers
Memory consistency modelling using Alloy
effpi
47
Stars
8
Forks
Watchers
Verified message-passing programs in Dotty
modelator
51
Stars
5
Forks
Watchers
Model-based testing tool
modelator-py
28
Stars
2
Forks
Watchers
Utilities for the TLA+ ecoystem and model-based testing using TLA+.