The P programming language.
Coyote is a library and tool for testing concurrent C# code and deterministically reproducing bugs.
Concuerror is a stateless model checking tool for Erlang programs.
A library for testing concurrent C++ code and deterministically reproducing bugs.
State machine and actor libraries for TypeScript/JavaScript.
Return On Invested Capital - This repository contains files that demonstrate Quantitative systematic investment strategy using Return On Invested Capital as a single factor strategy.
This repository is going to be the practical sample collection of P#.
This is an infrastructure to construct distributed application under the control of P#.
Archaeology: A systematic surface field survey in the Mediterranean
Add a description, image, and links to the systematic-testing topic page so that developers can more easily learn about it.
To associate your repository with the systematic-testing topic, visit your repo's landing page and select "manage topics."