GitHub repository: prismmodelchecker/prism
Primary language: Java
Created: 2016-01-05T09:46:27Z
Description: The main development version of the PRISM model checker.