Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with stateless-model-checking
A curated list of projects in awesome lists tagged with stateless-model-checking .
https://github.com/parapluu/Concuerror
Concuerror is a stateless model checking tool for Erlang programs.
automatic codecov codecov-badge concuerror concurrent-erlang-programs concurrent-programming debugging erlang erlang-programs erlang-versions-badge model-checker model-checking otp stateless-model-checking systematic-testing testing tool travis-badge verification
Last synced: 04 Aug 2024
https://github.com/parapluu/concuerror
Concuerror is a stateless model checking tool for Erlang programs.
automatic codecov codecov-badge concuerror concurrent-erlang-programs concurrent-programming debugging erlang erlang-programs erlang-versions-badge model-checker model-checking otp stateless-model-checking systematic-testing testing tool travis-badge verification
Last synced: 29 Sep 2024