Skip to main navigation Skip to search Skip to main content

Artifact for: HaliVer: Deductive Verification and Scheduling Languages Join Forces

    Dataset

    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.
    Date made available26 Oct 2023
    PublisherZenodo

    Access Dataset

    Cite this