/prism-gsmp

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

Primary LanguageJava

No issues in this repository yet.