/storm-gsmp

A Modern Probabilistic Model Checker. Fork that adds modelling and analysis using Generalized Semi-Markov Processes (GSMP).

Primary LanguageC++GNU General Public License v3.0GPL-3.0

Stargazers

No one’s star this repository yet.