GitHub repository: prismmodelchecker/prism-api
Primary language: Java
Created: 2017-02-12T00:18:42Z
Description: Example code for connecting to PRISM programmatically.