parapluu/Concuerror

Concuerror is a stateless model checking tool for Erlang programs.

语言：Erlang · GitHub 星标：351 · Fork：43

话题：automatic · codecov · codecov-badge · concuerror · concurrent-erlang-programs · concurrent-programming · debugging · erlang

在 GitHub 上查看原仓库