2 results found Sort:

opencomputeproject
Time-Appliance-Project opencomputeproject
105
1.3k
mit
60
Develop an end-to-end hypothetical reference model, network architectures, precision time tools, performance objectives and the methods to distribute, operate, monitor time synchronization within data...
linearizability synchronization distributed-systems
Created 2020-07-16
1,011 commits to master branch, last one 2 days ago
stevana
property-based-testing-stateful-systems-tutorial stevana
3
69
mit
7
A tutorial about how to apply property-based testing to stateful systems.
haskell tutorial state-machines fault-injection linearizability simulation-testing property-based-testing
Created 2023-01-10
10 commits to main branch, last one about a year ago