GitHub repository: prismmodelchecker/prism-games
Primary language: Java
Created: 2017-12-19T01:28:48Z
Description: The main development version of the PRISM-games model checker, an extension of PRISM which supports stochastic games.