TLA+ specifications used in "Automated Validation of State-Based Client-Centric Isolation with TLA+".
Latest
·
7 commits
to master
since this release
a9b90c7
This commit was signed with the committer’s verified signature.
TimSoethout
Tim Soethout
paper Added missing files + config for finding bug