/verdi-lockserv

An implementation of a simple asynchronous message-passing lock server, verified in Coq using the Verdi framework

Primary LanguageCoqBSD 2-Clause "Simplified" LicenseBSD-2-Clause

No issues in this repository yet.