Projects in Awesome Lists tagged with systematic-testing
A curated list of projects in awesome lists tagged with systematic-testing .
https://github.com/p-org/p
The P programming language.
asynchronous distributed-systems event-driven formal-methods formal-verification model-checking p programming-language robotics state-machine systematic-testing
Last synced: 22 Apr 2025
https://github.com/p-org/P
The P programming language.
asynchronous distributed-systems event-driven formal-methods formal-verification model-checking p programming-language robotics state-machine systematic-testing
Last synced: 14 Mar 2025
https://github.com/microsoft/coyote
Coyote is a library and tool for testing concurrent C# code and deterministically reproducing bugs.
coyote dotnet fuzzing software-reliability systematic-testing testing testing-tools
Last synced: 23 Apr 2025
https://github.com/parapluu/concuerror
Concuerror is a stateless model checking tool for Erlang programs.
automatic codecov codecov-badge concuerror concurrent-erlang-programs concurrent-programming debugging erlang erlang-programs erlang-versions-badge model-checker model-checking otp stateless-model-checking systematic-testing testing tool travis-badge verification
Last synced: 14 Apr 2025
https://github.com/parapluu/Concuerror
Concuerror is a stateless model checking tool for Erlang programs.
automatic codecov codecov-badge concuerror concurrent-erlang-programs concurrent-programming debugging erlang erlang-programs erlang-versions-badge model-checker model-checking otp stateless-model-checking systematic-testing testing tool travis-badge verification
Last synced: 18 Nov 2024
https://github.com/urasandesu/psharppractice
This repository is going to be the practical sample collection of P#.
asynchronous dotnet event-driven psharp state-machines systematic-testing
Last synced: 13 Mar 2025
https://github.com/urasandesu/bondage
This is an infrastructure to construct distributed application under the control of P#.
asynchronous dotnet event-driven psharp state-machines systematic-testing
Last synced: 13 Mar 2025