Repository navigation

systematic-testing

Website
Wikipedia

The P programming language.

asynchronous 编程语言 systematic-testing event-driven Robotics p distributed-systems state-machine model-checking formal-methods formal-verification

3272

195

3 天前

microsoft / coyote

Coyote is a library and tool for testing concurrent C# code and deterministically reproducing bugs.

systematic-testing software-reliability .NET coyote Testing Fuzzing/Fuzz testing

1536

4 个月前

parapluu / Concuerror

Concuerror is a stateless model checking tool for Erlang programs.

Erlang systematic-testing Testing 工具 automatic otp debugging verification concurrent-programming model-checking codecov

Erlang

338

21 天前

microsoft / cpp-systematic-testing

A library for testing concurrent C++ code and deterministically reproducing bugs.

concurrency C++software-reliability systematic-testing Testing

C++

3 年前

p-org / typescript-actors

State machine and actor libraries for TypeScript/JavaScript.

JavaScript TypeScript actors state-machines systematic-testing asynchronous event-driven

TypeScript

6 年前

QuizeCapital / Return.On.Invested.Capital

Return On Invested Capital - This repository contains files that demonstrate Quantitative systematic investment strategy using Return On Invested Capital as a single factor strategy.

cashflow investing investment quantitative-analysis quantitative-finance research-project systematic-testing

Python

2 年前

urasandesu / PSharpPractice

This repository is going to be the practical sample collection of P#.

asynchronous event-driven state-machines systematic-testing .NET

8 年前

urasandesu / Bondage

This is an infrastructure to construct distributed application under the control of P#.

asynchronous event-driven state-machines systematic-testing .NET

7 年前

FAIMS / trap-gridded-survey

Archaeology: A systematic surface field survey in the Mediterranean

survey systematic-testing

Java

2 年前