martin-neuhaeusser/erlang-verifier

LTL model checking of Core-Erlang using term rewriting techniques.

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

话题：erlang · ltl · maude · modelchecking · rewriting · verification

在 GitHub 上查看原仓库