The P programming language.
-
Updated
Nov 13, 2020 - C#
#
systematic-testing
Here are 9 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
Nov 13, 2020 - C#
Concuerror is a stateless model checking tool for Erlang programs.
testing
debugging
erlang
otp
tool
verification
systematic-testing
travis-badge
concuerror
automatic
concurrent-erlang-programs
concurrent-programming
model-checking
codecov
model-checker
codecov-badge
stateless-model-checking
erlang-versions-badge
erlang-programs
-
Updated
Nov 8, 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
Archaeology: A systematic surface field survey in the Mediterranean
-
Updated
Oct 28, 2020 - Java
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."