movesrwth

Storm - A Modern Probabilistic Model Checker

CArL-Storm - the Computer ARithmetic and Logic library for the probabilistic model checker Storm

Python Bindings for the Probabilistic Model Checker Storm

Base image with (optional) dependencies for Storm model checker.

Linux basis for Storm modelchecker

CArL - the Computer ARithmetic and Logic library

Parameter synthesis