Change the repository type filter
Sources
Repositories list
10 repositories
- Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq
- A Coq library for reasoning (co)inductively on infinite sequences using LTL-like modal operators
- Verdi framework runtime library
- An implementation of a simple asynchronous message-passing lock server, verified in Coq using the Verdi framework
verdi-aggregation
Publicopam-repository
Publicdiscoberry-farm
Public