PrototypeCommon
stormchecker/storm
A Modern Probabilistic Model Checker
- Owner
- stormchecker (organization)
- Stars
- Stars: 177
- Forks
- Forks: 89
- Language
- C++
- License
- GPL-3.0
- Created
- 2016
- Topics
- model-checkingmarkov-chaindtmcmdpctmcresearchfault-treemodel-checkerpomdp
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in C++
All C++ repos- Xiaoc7r/JLUCS_SpeedrunStars: 177C++Prototype
- luxir-search/luxirStars: 177C++Prototype
- bearstonem/d2r-pcvrStars: 177C++Prototype
- josephholsten/libdecodeqrStars: 177C++Prototype
- creationix/node-sdlStars: 177C++Prototype
- GNOME/gtkmmStars: 177C++Prototype