lisaoakley / prism Goto Github PK
View Code? Open in Web Editor NEWThis project forked from prismmodelchecker/prism
The main development version of the PRISM model checker.
Home Page: http://www.prismmodelchecker.org/
License: GNU General Public License v2.0