Mechanical Verification of Transaction Processing Systems

Abstract

This paper concerns the formal specification and mechanical verification of transaction processing systems aimed at distributed databases. In such systems, a standard set of ACID properties must be ensured by a combination of concurrency control and recovery protocols. In the existing literature, these protocols are often studied in isolation, making strong… (More)
DOI: 10.1109/ICFEM.2000.873809

Topics

Cite this paper

@inproceedings{Chkliaev2000MechanicalVO, title={Mechanical Verification of Transaction Processing Systems}, author={Dmitri Chkliaev and Jozef Hooman and Peter van der Stok}, booktitle={ICFEM}, year={2000} }