TLA+ and Alloy specs of database isolation
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
DebuggingDesigns.pdf
README.md
serializableSnapshotIsolation.als
serializableSnapshotIsolation.tla
textbookSnapshotIsolation.als
textbookSnapshotIsolation.tla

README.md

Formal Specs of Database Isolation

Done by Chris Newcombe at Amazon for this talk at HPTS 2011 and not used at Amazon. Verified with distributed TLC.