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

Showing 1 - 1

coq-disel

No documentation

Core framework files 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.Core date:2022-11-28

Ilya Sergey James R. Wilcox

2.3

BSD-2-Clause

Used by 1 other packages

28 Nov 2022