Vojtěch Řehák's repositories
prism-gsmp
PRISM model checker fork that adds modelling and analysis using Generalized Semi-Markov Processes (GSMP).
storm-gsmp
A Modern Probabilistic Model Checker. Fork that adds modelling and analysis using Generalized Semi-Markov Processes (GSMP).
Language:C++GPL-3.0000