Skip to content

parapluu/Concuerror

Error
Looks like something went wrong!

About

Concuerror is a stateless model checking tool for Erlang programs.

parapluu.github.io/Concuerror

Topics

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

Resources

Readme

License

BSD-2-Clause license

Code of conduct

Code of conduct
Activity
Custom properties

Stars

339 stars

Watchers

15 watching

Forks

43 forks
Report repository

Releases 5

0.21.0 Latest
Nov 8, 2020
+ 4 releases

Contributors 13

Languages