/PMC

Incremental Verification of Parametric and Reconfigurable Markov Chains -- Prototype implementation for analysis of VPMC reconfigurations.

Primary LanguagePython

Stargazers