4 results found Sort:

p-org
P p-org
175
3.0k
mit
107
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,158 commits to master branch, last one about a month ago
microsoft
coyote microsoft
77
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
658 commits to main branch, last one 2 months ago
parapluu
Concuerror parapluu
41
332
bsd-2-clause
17
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,393 commits to master branch, last one 12 days ago
microsoft
cpp-systematic-testing microsoft
6
41
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 about a year ago