Change the repository type filter
Sources
Repositories list
10 repositories
disel
PublicDistributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in CoqInfSeqExt
PublicA Coq library for reasoning (co)inductively on infinite sequences using LTL-like modal operatorsverdi-runtime
PublicVerdi framework runtime libraryverdi-chord
Publiccoqproject
Publicverdi-lockserv
PublicAn implementation of a simple asynchronous message-passing lock server, verified in Coq using the Verdi frameworkverdi-aggregation
Publicopam-repository
Publicdiscoberry-farm
Public