Pinned Repositories
verdi-cheerios
A verified system transformer for serialization of Verdi systems using the Cheerios library.
verdi-chord
An implementation of the Chord lookup protocol verified in Coq using the Verdi framework
verdi-lockserv
An implementation of a simple asynchronous message-passing lock server, verified in Coq using the Verdi framework
verdi-runtime
Verdi framework runtime library
verdi
A framework for formally verifying distributed systems implementations in Coq
verdi
A framework for formally verifying distributed systems implementations in Coq
justinads's Repositories
justinads/verdi
A framework for formally verifying distributed systems implementations in Coq