iBet uBet web content aggregator. Adding the entire web to your favor.

Link to original content: http://github.com/topics/concuerror

concuerror · GitHub Topics · GitHub

#

concuerror

Here is 1 public repository matching this topic...

Concuerror

parapluu / Concuerror

Concuerror is a stateless model checking tool for Erlang programs.

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

Updated Oct 29, 2024
Erlang

Improve this page

Add a description, image, and links to the concuerror topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the concuerror topic, visit your repo's landing page and select "manage topics."