Stochastic Model-checking Analyzer for Reliability and Timing
-
Updated
Apr 7, 2023 - C++
#
pctl
Here are 4 public repositories matching this topic...
Model checking with Probabilistic Computation Tree Logic (PCTL)
-
Updated
Aug 18, 2023 - OCaml
Simple analysis and model checking tool for finite discrete time-homogeneous Markov chains. Model checks PCTL properties and computes transient and steady state distribution.
-
Updated
Oct 17, 2021 - Python
Static Analysis and Verification - Project - PRISM
prism bdd static-analysis markov-chain verification model-checking markov-decision-processes stochastic-processes vut probabilistic-models sav vut-fit pctl
-
Updated
Dec 22, 2020 - TeX
Add this topic to your repo
To associate your repository with the pctl topic, visit your repo's landing page and select "manage topics."