Automated Validation of State-Based Client-Centric Isolation with TLA$$^+$$
- 17 January 2021
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- Verifying strong eventual consistency in distributed systemsProceedings of the ACM on Programming Languages, 2017
- Seeing is BelievingPublished by Association for Computing Machinery (ACM) ,2017
- Solving the bank with Rebel: on the design of the Rebel specification language and its application inside a bankPublished by Association for Computing Machinery (ACM) ,2016
- How Amazon web services uses formal methodsCommunications of the ACM, 2015
- Highly available transactionsProceedings of the VLDB Endowment, 2013
- LTSmin: Distributed and Symbolic ReachabilityLecture Notes in Computer Science, 2010
- Consensus on transaction commitACM Transactions on Database Systems, 2006
- Making snapshot isolation serializableACM Transactions on Database Systems, 2005
- UPPAAL — a tool suite for automatic verification of real-time systemsLecture Notes in Computer Science, 1996
- Principles and realization strategies of multilevel transaction managementACM Transactions on Database Systems, 1991