GitHub topics: concurrent-erlang-programs
parapluu/Concuerror
Concuerror is a stateless model checking tool for Erlang programs.
Language: Erlang - Size: 10.5 MB - Last synced at: about 1 month ago - Pushed at: 2 months ago - Stars: 338 - Forks: 43
Related Keywords
automatic
1
codecov
1
codecov-badge
1
concuerror
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