Stochastic Model-checking Analyzer for Reliability and Timing
-
Updated
Sep 23, 2026 - C++
#
pctl
Here are 5 public repositories matching this topic...
Nintendo Switch parental controls on the console itself: daily play-time limits, PIN, restrictions, play activity and network clock. Offline, no phone app, no Nintendo account. Homebrew for Atmosphère.
homebrew cpp offline-first devkitpro atmosphere borealis nx nintendo-switch libnx pctl digital-wellbeing nro screen-time switch-homebrew playtime-tracker sphaira hb-appstore
-
Updated
Oct 25, 2026 - C++
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."