A Modern Probabilistic Model Checker
Jupyter kernel for TLA⁺
The Git repository for the mCRL2 toolset.
Static checker for Java
Reads a state transition system and performs property checking
CoreIR Symbolic Analyzer
Model-based testing tool
The LTSmin model checking toolset
Verified message-passing programs in Dotty
Distributed termination detection on a ring, due to Shmuel Safra:
Distributed termination detection on a ring, due to Shmuel Safra: https:...
A simple REPL for TLA+.
A symbolic model checker for Dynamic Epistemic Logic.
Experimental Smart Contracts In Plutus.
Different TLA+ specifications, mostly for learning purposes