TimSoethout/tla-ci: TLA+ specifications used in "Automated Validation of State-Based Client-Centric Isolation with TLA+".

TLA+ specifications accompanying paper: Automated Validation of State-Based Client-Centric Isolation with TLA+ (https://doi.org/10.1007/978-3-030-67220-1_4). Based on Crooks' Isolation (https://dl.acm.org/doi/10.1145/3087801.3087802).

• View at Publisher

See Also
inProceedings Automated Validation of State-Based Client-Centric Isolation with TLA+ T.M. Soethout (Tim), T. van der Storm (Tijs) and J.J. Vinju (Jurgen)