overbk/verifying-concurrent-revisions
An Isabelle/HOL verification of the concurrent revisions concurrency control model. My master's thesis.
No issues in this repository yet.
An Isabelle/HOL verification of the concurrent revisions concurrency control model. My master's thesis.
No issues in this repository yet.