GitHub topics: erlang-versions-badge
proper-testing/proper
PropEr: a QuickCheck-inspired property-based testing tool for Erlang
Language: Erlang - Size: 3.74 MB - Last synced at: 7 days ago - Pushed at: about 2 months ago - Stars: 893 - Forks: 169
parapluu/Concuerror
Concuerror is a stateless model checking tool for Erlang programs.
Language: Erlang - Size: 10.5 MB - Last synced at: 29 days ago - Pushed at: about 2 months ago - Stars: 338 - Forks: 43
Related Keywords
codecov-badge
2
erlang
2
erlang-versions-badge
2
release-badge
1
automatic
1
codecov
1
concuerror
1
concurrent-erlang-programs
1
concurrent-programming
1
debugging
1
erlang-programs
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