disel
disel copied to clipboard
DistributedComponents
Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq
Results
0
disel issues
Sort by
recently updated
recently updated
newest added
Metadata
93
Stars
8
Forks
Watchers
Owner
Metadata
Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq