Verifying programs under snapshot isolation and similar relaxed consistency models
More Info
expand_more
expand_more