4 results found Sort:

p-org
P p-org
180
3.1k
mit
106
The P programming language.
p robotics asynchronous event-driven state-machine formal-methods model-checking systematic-testing distributed-systems formal-verification programming-language
Created 2015-06-21
4,173 commits to master branch, last one 11 days ago
microsoft
coyote microsoft
76
1.5k
other
38
Coyote is a library and tool for testing concurrent C# code and deterministically reproducing bugs.
coyote dotnet fuzzing testing testing-tools systematic-testing software-reliability
Created 2019-08-15
661 commits to main branch, last one 10 days ago
parapluu
Concuerror parapluu
42
334
bsd-2-clause
16
Concuerror is a stateless model checking tool for Erlang programs.
otp tool erlang codecov testing automatic debugging concuerror travis-badge verification codecov-badge model-checker model-checking erlang-programs systematic-testing erlang-versions-badge concurrent-programming stateless-model-checking concurrent-erlang-programs
Created 2014-04-04
2,399 commits to master branch, last one a day ago
microsoft
cpp-systematic-testing microsoft
6
43
other
4
A library for testing concurrent C++ code and deterministically reproducing bugs.
cpp testing concurrency nondeterminism systematic-testing software-reliability
Created 2022-08-02
2 commits to main branch, last one 2 years ago