PRISM model checker fork that adds modelling and analysis using Generalized Semi-Markov Processes (GSMP).
Primary LanguageJava