The P programming language.
-
Updated
Aug 25, 2020 - C#
#
systematic-testing
Here are 8 public repositories matching this topic...
A set of libraries and tools for building reliable asynchronous software.
actors
concurrency
tasks
specifications
systematic-testing
state-machines
software-reliability
asynchrony
-
Updated
Aug 27, 2020 - Jupyter Notebook
Concuerror is a stateless model checking tool for Erlang programs.
testing
debugging
erlang
otp
tool
verification
systematic-testing
concuerror
automatic
concurrent-erlang-programs
concurrent-programming
model-checking
model-checker
stateless-model-checking
-
Updated
Jun 16, 2020 - Erlang
State machine and actor libraries for TypeScript/JavaScript.
-
Updated
Jul 24, 2019 - TypeScript
This repository is going to be the practical sample collection of P#.
-
Updated
Jul 11, 2017 - C#
This is an infrastructure to construct distributed application under the control of P#.
-
Updated
Nov 5, 2017 - C#
Some basic data structure achieves which create systematic module.
-
Updated
Jun 4, 2018 - Python
Tundzha Regional Archaeological Project - systematic surface survey in Bulgaria, FAIMS 2.0
-
Updated
Feb 4, 2020 - Python
Improve this page
Add a description, image, and links to the systematic-testing topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the systematic-testing topic, visit your repo's landing page and select "manage topics."