package coq-disel-examples
Example systems for Disel, a separation-style logic for compositional verification of distributed systems in Coq
Install
Dune Dependency
Authors
Maintainers
Sources
v2.3.tar.gz
sha512=0fb67536e8d0c7e79580e8326e8dd47fc098ef2676eb17bed380b410a24a8e6eb9f166a4e47990fccbf5ce1f065c9f454cf4ca8dd8853c9d0b53ceb48f81e7b6
Description
Tags
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-28Published: 28 Nov 2022
Dependencies (5)
-
coq-disel
= version -
coq-fcsl-pcm
>= "1.7.0" -
coq-mathcomp-ssreflect
>= "1.13" -
coq
>= "8.14" -
dune
>= "2.5"
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page