pctl

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.

Stochastic Model-checking Analyzer for Reliability and Timing

Model checking with Probabilistic Computation Tree Logic (PCTL)

Simple analysis and model checking tool for finite discrete time-homogeneous Markov chains. Model checks PCTL properties and computes transient and steady state distribution.

Static Analysis and Verification - Project - PRISM