prismmodelchecker/prism-games
The main development version of the PRISM-games model checker, an extension of PRISM which supports stochastic games.
JavaGPL-2.0
Stargazers
- 0x4b16b2
- bittdyBeijing-IT
- blaketeHuman on Earth
- Gary-oak-Star
- gjoncasToronto, Canada
- gordonfierceNYC
- gschupSEBx
- hongyunnchen
- JeffCarpenterCanada
- jessicalally
- kleinjEx TU Dresden, Germany
- lancelot96
- marcotinacciLondon
- melfar87Duke University
- mfaellaNaples, Italy
- Miracle-qiEindhoven University of Technology
- nightlyUK
- notozmxTianjin
- RoyalIcing@team-alembic @cool-calm @ComponentsGuide @JavaScriptRegenerated
- weinhuberUniversity of Oxford
- wumingruiye
- xsk07Italy
- yangzhouW