benmandrew/pctl

Model checking with Probabilistic Computation Tree Logic (PCTL)

语言：OCaml · GitHub 星标：2 · Fork：2

话题：formal-methods · model-checking · pctl · probabilistic-model-checking

在 GitHub 上查看原仓库