figshare
Browse

sorry, we can't preview this file

CAV2021ArtifactSubmission378.ova (3.34 GB)

LLMC Artifact for CAV 2021

Download (3.34 GB)
Version 3 2021-05-10, 23:44
Version 2 2021-04-29, 12:20
Version 1 2021-04-29, 11:08
software
posted on 2021-05-10, 23:44 authored by Freark van der BergFreark van der Berg
A VM including the means to evaluate the results of the paper "LLMC: Verifying High-performance Software" sent to CAV 2021.

History

Usage metrics

    Categories

    Keywords

    multi-coremodel checkingstate space compressionComputer Software

    Licence

    GPL

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC