Releases: cwi-swat/tla-ci
Releases · cwi-swat/tla-ci
TLA+ specifications used in "Automated Validation of State-Based Client-Centric Isolation with TLA+".
a9b90c7
This commit was signed with the committer’s verified signature.
TimSoethout
Tim Soethout
TLA+ specifications used in "Automated Validation of State-Based Client-Centric Isolation with TLA+".
Latest
paper Added missing files + config for finding bug