Concuerror

Concuerror is a stateless model checking tool for Erlang programs.
Alternatives To Concuerror
Project NameStarsDownloadsRepos Using ThisPackages Using ThisMost Recent CommitTotal ReleasesLatest ReleaseOpen IssuesLicenseLanguage
Concuerror323
7 months ago2October 31, 202016bsd-2-clauseErlang
Concuerror is a stateless model checking tool for Erlang programs.
Aiger Safety Properties10
4 months agomit
AIGER files designed by hand, for testing (and limited benchmarking) of new model checkers
Hintikkasworld8
2 years ago1TeX
Hintikka's World is a pedagogical tool for learning modal logic, more precisely epistemic modal logic.
Lincheck5
8 months agomitRust
A linearizability checker for concurrent data structures
Alternatives To Concuerror
Select To Compare


Alternative Project Comparisons
Popular Model Checking Projects
Popular Testing Projects
Popular Software Quality Categories
Related Searches

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Testing
Erlang
Code Coverage
Concurrent Programming
Bash Completion
Model Checking