GitHub - PaulGainer/PMC: Incremental Verification of Parametric and Reconfigurable Markov Chains -- Prototype implementation for analysis of VPMC reconfigurations.

PaulGainer / PMC Public

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

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commits
low-level-model-gen.py		low-level-model-gen.py
vpmc.py		vpmc.py

About

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

No releases published

No packages published