Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

Database Recovery


Citation: Yuri Gurevich, Nandit Soparkar, and Charles Wallace, "Formalizing Database Recovery", Journal of Universal Computer Science, vol. 3, no. 4 (1997), 320--340.
Summary: A database recovery algorithm (the undo-redo algorithm) is modeled at several levels of abstraction, with verification of the correctness of each model.
Subjects: Databases, Verification
Download: PostScript, PDF, Compressed PostScript
Notes: (Courtesy of Springer-Verlag.)