apalache-mc/apalache

APALACHE: symbolic model checker for TLA+ and Quint

语言：Scala · GitHub 星标：619 · Fork：55

话题：apalache · model-checking · quint · smt · tla · tlaplus · verification

在 GitHub 上查看原仓库