jssandh2/verdi-lockserv
An implementation of a simple asynchronous message-passing lock server, verified in Coq using the Verdi framework
CoqBSD-2-Clause
No issues in this repository yet.
An implementation of a simple asynchronous message-passing lock server, verified in Coq using the Verdi framework
CoqBSD-2-Clause
No issues in this repository yet.