1 search result for "tag:"logpath:DiSeL.Examples""

Showing 1 - 1

coq-disel-examples

No documentation

Example systems for Disel, a separation-style logic for compositional verification of distributed systems in Coq

category:Computer Science/Concurrent Systems and Protocols/Theory of concurrent systems keyword:program verification keyword:separation logic keyword:distributed algorithms logpath:DiSeL.Examples date:2022-11-28

Ilya Sergey James R. Wilcox

2.3

BSD-2-Clause

Used by 0 other packages

28 Nov 2022