Published December 8, 2022
| Version v1
Conference paper
Open
Artifact for paper "VeyMont: Parallelising Verified Programs instead of Verifying Parallel Programs"
Creators
- 1. University of Twente
- 2. Open University of the Netherlands
Description
This artifact accompanies the paper “VeyMont: Parallelising Verified Programs instead of Verifying Parallel Programs” by Petra van den Bos and Sung-Shik Jongmans. The paper is part of the proceedings of FM 2023. This artifact includes a VM and a Readme file. The Readme file provides instructions to reproduce the experiments of the paper with the VM.
Files
VeyMont-FM2023-artefact.zip
Files
(7.8 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:93ea11df3bc0353a0fd1deb9b950e790
|
7.8 GB | Preview Download |