cubicle-model-checker/cubicle

The Cubicle model checker

语言：OCaml · GitHub 星标：14 · Fork：9

话题：model-checking · ocaml · parameterized-systems · smt · smt-solver

在 GitHub 上查看原仓库