Property testing distributed applications with fault injection and verification.
4
stars
1
forks
source link
model every individual process's state w/TreeRangeSet, allows for validation of every op value against every possibility #72
Closed
nurturenature closed 2 years ago