incaseoftrouble / 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. This replaces the old Subversion server as the definitive source for new code.