justinads

Seattle, WA

Pinned Repositories

verdi-cheerios
A verified system transformer for serialization of Verdi systems using the Cheerios library.
Language:Coq1 5 00
verdi-chord
An implementation of the Chord lookup protocol verified in Coq using the Verdi framework
Language:Coq10 4 141
verdi-lockserv
An implementation of a simple asynchronous message-passing lock server, verified in Coq using the Verdi framework
Language:Coq13 6 05
verdi-runtime
Verdi framework runtime library
Language:OCaml3 6 62
verdi
A framework for formally verifying distributed systems implementations in Coq
Language:Coq00
verdi
A framework for formally verifying distributed systems implementations in Coq
Language:Coq580 65 2556

justinads/verdi
A framework for formally verifying distributed systems implementations in Coq
Language:Coq00