Data

Tools

Indexes

Applications

Experiments

Repos

An open API service providing repository metadata for many open source software ecosystems.

Topic: "stateless-model-checking"

parapluu/Concuerror

Concuerror is a stateless model checking tool for Erlang programs.

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

Related Topics
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 systematic-testing 1 testing 1 tool 1 travis-badge 1 verification 1