bfalacerda / 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.
Home Page: http://www.prismmodelchecker.org/
License: GNU General Public License v2.0