Distributed Components
Results
1
repositories owned by
Distributed Components
disel
93
Stars
8
Forks
Watchers
Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq
