GitHub repository: DistributedComponents/verdi-lockserv
Primary language: Coq
Created: 2017-01-25T00:08:46Z
Description: An implementation of a simple asynchronous message-passing lock server, verified in Coq using the Verdi framework