stormchecker.org - Storm -- A Modern Probabilistic Model Checker -- Home

home > domains > stormchecker.org

Example domain paragraphs

A modern model checker for probabilistic systems.

Its C++17 core focuses on time and memory efficiency.

Solver interfaces make it easy to integrate new solvers.

Links to stormchecker.org (2)

• tvandijk.nl Home | Tom van Dijk
• momba.dev Welcome to Momba’s documentation! — Momba