prismmodelchecker/prism-api

Example code for connecting to PRISM programmatically.

Java