Geeks
moves-rwth
/
storm
A Modern Probabilistic Model Checker
Primary Language
C++
GNU General Public License v3.0
GPL-3.0
storm Home Page
storm GitHub
Markdown
Readme
250
Issues
140
Stargazers
15
Watchers
Watchers
AlexBork
@moves-rwth
cdehnert
drkostas
University of Tennessee, Knoxville
eemailme
fauzisho
Germany
jhcloos
jipspel
kleinj
Ex TU Dresden, Germany
linusheck
Germany
PrangerStefan
sjunges
Radboud University
tquatmann
@moves-rwth
volkm
Eindhoven University of Technology
XeFias
yaya1910