Published June 2, 2021
| Version v2
Software
Open
Cervino prototype, Coq formalization and Benchmarks (CAV 2021 artifact)
Description
Artifact accompanying the article Sound Verification Procedures for Temporal Properties of Infinite-State Systems published in the proceedings of CAV 2021.
VirtualBox VM built with Vagrant and containing the artifact (Cervino tool + Coq files).
The Cervino tool and Coq files (and Vagrant configuration) are available as free software at the Cervino repository under the `cav2021` branch.
Files
Files
(4.0 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:17937aec8fbd0b9077fde833713197c4
|
4.0 GB | Download |