Published October 26, 2023
| Version v3
Software
Open
Artifact for: HaliVer: Deductive Verification and Scheduling Languages Join Forces
Description
These are the experiments conducted with HaliVer. This artifact is prepared together with the TACAS 23 Artifact Evaluation VM - Ubuntu 22.04 LTS.
It allows you the run the experiments of the paper `HaliVer: Deductive Verification and Scheduling Languages Join Forces`.
It also contains a tutorial on how to work with HaliVer itself.
Files
HaliverExperiments.zip
Files
(964.7 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:34e8fb7c0bcba6fea87470f9ee078bb6
|
964.7 MB | Preview Download |