Chair for Software Modeling and Verification @ RWTH Aachen University

icon indicating a website link moves.rwth-aachen.de

icon location Aachen, Germany

Results 2 repositories owned by Chair for Software Modeling and Verification @ RWTH Aachen University

storm

124
Stars
73
Forks
Watchers

A Modern Probabilistic Model Checker

verified publisher icon moves-rwth

stormpy

18
Stars
10
Forks
Watchers

Python Bindings for the Probabilistic Model Checker Storm

verified publisher icon moves-rwth