4 results found Sort:

p-org
P p-org
195
3.3k
mit
105
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,190 commits to master branch, last one 21 days ago
microsoft
coyote microsoft
78
1.5k
other
37
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 4 months ago
parapluu
Concuerror parapluu
42
337
bsd-2-clause
15
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,406 commits to master branch, last one 18 days ago
microsoft
cpp-systematic-testing microsoft
6
44
other
3
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