mariouhrik / prism-gsmp Goto Github PK
View Code? Open in Web Editor NEWThis project forked from vojtechrehak/prism-gsmp
PRISM model checker fork that adds modelling and analysis using Generalized Semi-Markov Processes (GSMP).
Home Page: http://www.prismmodelchecker.org/