Published June 1, 2023 | Version v5
Software Open

Verifying Reliable Network Components in a Distributed Separation Logic with Dependent Separation Protocols

Creators

  • 1. Aarhus Univeristy
  • 2. Aarhus University
  • 3. NOVA LINCS & DI -- Nova School of Sciences and Tecnhology

Description

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. 

Files

source_icfp.zip

Files (2.7 GB)

Name Size Download all
md5:c703988baad724ecab8bfab1a3206616
2.7 GB Download
md5:4f0e9c0fe2c62b2705764680239a03cf
2.7 MB Preview Download