PrototypeCommune
stormchecker/storm
A Modern Probabilistic Model Checker
- Propriétaire
- stormchecker (organisation)
- Étoiles
- Étoiles : 177
- Forks
- Forks : 89
- Langage
- C++
- Licence
- GPL-3.0
- Création
- 2016
- Sujets
- model-checkingmarkov-chaindtmcmdpctmcresearchfault-treemodel-checkerpomdp
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
D’autres dépôts C++
Tous les dépôts C++- Xiaoc7r/JLUCS_SpeedrunÉtoiles : 177C++Prototype
- luxir-search/luxirÉtoiles : 177C++Prototype
- bearstonem/d2r-pcvrÉtoiles : 177C++Prototype
- josephholsten/libdecodeqrÉtoiles : 177C++Prototype
- creationix/node-sdlÉtoiles : 177C++Prototype
- GNOME/gtkmmÉtoiles : 177C++Prototype