Software Open Access
Verifying Reliable Network Components in a Distributed Separation Logic with Dependent Separation Protocols
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.
| Name | Size | |
|---|---|---|
|
base-image.tar.xz
md5:c703988baad724ecab8bfab1a3206616 |
2.7 GB | Download |
|
source_icfp.zip
md5:4f0e9c0fe2c62b2705764680239a03cf |
2.7 MB | Download |
| All versions | This version | |
|---|---|---|
| Views | 209 | 101 |
| Downloads | 33 | 11 |
| Data volume | 33.0 GB | 13.6 GB |
| Unique views | 138 | 83 |
| Unique downloads | 24 | 9 |
- Publication date:
- June 1, 2023
- DOI:
-
- Keyword(s):
- Aneris OCaml Iris Coq
- License (for files):
- Creative Commons Attribution 4.0 International