movesrwth

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

Python Bindings for the Probabilistic Model Checker Storm

Storm - A Modern Probabilistic Model Checker

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

Linux basis for Storm modelchecker

CArL - the Computer ARithmetic and Logic library

Parameter synthesis