benkeks/equivalence-fiddle

equiv.io is a tool for finding the best ways of equating / preordering / distinguishing finite process models.

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

话题：equivalence-checker · equivalence-relations · hennessy-milner-logic · model-checking · system-analysis

在 GitHub 上查看原仓库