2 results found Sort:

opencomputeproject
Time-Appliance-Project opencomputeproject
110
1.4k
mit
58
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,043 commits to master branch, last one 10 days ago
stevana
property-based-testing-stateful-systems-tutorial stevana
4
70
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