stormchecker/storm

A Modern Probabilistic Model Checker

C++

172

9,951 commits

updated Sep 23, 2026

www.stormchecker.org

See the code

ctmc

dtmc

fault-tree

markov-chain

mdp

model-checker

model-checking

pomdp

research

Contributors

(top 30 of 44)

2,489 commits

2,438 commits

1,617 commits

1,522 commits

Similar repos

statebox/fsm-oracle

Finite state machines as graphs

Lao6tu/TSFMs-Benchmark

TSFMs-Benchmark

pmer/tla-bin

Command line binaries for the TLA+ language

173

foreverbell/verified

Coq formalizations and proofs of (data) structures and algorithms.

jdnklau/fm-ml

Collection of resources for research concerning Machine Learning and Formal Methods.

103

hossain-sanowar/Formal-Methods-and-Machine-Learning

NVIDIA-NeMo/RL

Scalable toolkit for efficient model reinforcement

2,027

zhengkid/Parallel_Thinking_via_MoT

Official Code for "Learning to Reason via Mixture-of-Thought for Logical Reasoning"

Languages

C++

98.7%