/verifying-concurrent-revisions

An Isabelle/HOL verification of the concurrent revisions concurrency control model. My master's thesis.

No issues in this repository yet.