Property testing distributed applications with fault injection and verification.
4
stars
1
forks
source link
use unique random numbers for op values, the more sparse the possible counter states, the more the checker can infer #75
Closed
nurturenature closed 2 years ago