concuerror | Topic | Ecosyste.ms: Repos

Topic: "concuerror"

parapluu/Concuerror

Concuerror is a stateless model checking tool for Erlang programs.

Language: Erlang - Size: 10.5 MB - Last synced at: 2 months ago - Pushed at: 3 months ago - Stars: 338 - Forks: 43

Related Topics

automatic 1 codecov 1 codecov-badge 1 concurrent-erlang-programs 1 concurrent-programming 1 debugging 1 erlang 1 erlang-programs 1 erlang-versions-badge 1 model-checker 1 model-checking 1 otp 1 stateless-model-checking 1 systematic-testing 1 testing 1 tool 1 travis-badge 1 verification 1