Software Open Access
Gondelman, Léon; Hinrichsen, Jonas Kastberg; Pereira, Mário; Timany, Amin; Birkedal, Lars
Virtual Machine image (file base-image.tar.xz) containing the artifact submitted as part of the ICFP 2023 evaluation process. Our paper is entitled "Verifying Reliable Network Components in a Distributed Separation Logic with Dependent Separation Protocols".
The Virtual Machine contains the Coq source files of the Aneris project, the source code of the OCaml to Aneris-lang compiler, as well as several examples verified with the proposed framework.
We also include a .zip file (source_icfp.zip) containing the source files for the artifact's dependencies, namely the Aneris project and the OCaml2Lang compiler. Both the source tarball and the virtual machine share the same README.md file.