Distributed Components
Change the repository type filter
All
Repositories list
14 repositories
- Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq
InfSeqExt
PublicA Coq library for reasoning (co)inductively on infinite sequences using LTL-like modal operatorsverdi-runtime
PublicVerdi framework runtime libraryopam-repository-dev
Public archive- Bash script for simple generation of Coq project metadata files
- An implementation of a simple asynchronous message-passing lock server, verified in Coq using the Verdi framework
opam-repository-coq-dev
Public archiveverdi-cheerios
Public archiveA verified system transformer for serialization of Verdi systems using the Cheerios library.verdi-aggregation
Publiccoq-parser-validator
Public archiveopam-repository
Publicdiscoberry-farm
Public
ProTip! When viewing an organization's repositories, you can use the
props. filter to filter by custom property.