fpoli/ctlmc

CTL model checker, implemented using BDDs (JavaBDD library)

语言：Scala · GitHub 星标：4 · Fork：1

话题：bdd · ctl · model-checking · scala

在 GitHub 上查看原仓库