systematic-testing

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