cff-version: 1.2.0
abstract: "<p>This is the artifact for the paper <em>Automated Invariant Generation for Efficient Deductive Reasoning about Embedded Systems</em>. It contains a version of the VerCors verifier and case studies for verification of SystemC designs. Each case study contains detailed instructions on transforming the SystemC source code to PVL, optimizing the PVL program and encoding properties, generating an invariant with VerCors and verifying the resulting system. All data is available in a prepackaged VM as well as separately in a .zip archive. Both username and password to the VM is "artifact".</p>"
authors:
  - family-names: Tasche
    given-names: Philip
    orcid: "https://orcid.org/0000-0003-1518-4079"
  - family-names: Herber
    given-names: Paula
    orcid: "https://orcid.org/0000-0002-5349-154X"
  - family-names: Huisman
    given-names: Marieke
    orcid: "https://orcid.org/0000-0003-4467-072X"
title: "[Artifact] Automated Invariant Generation for Efficient Deductive Reasoning about Embedded Systems"
keywords:
version: 1
identifiers:
  - type: doi
    value: 10.4121/86963fe3-cc3f-45c3-b252-00d8780c4a1a.v1
license: MPL 2.0
date-released: 2024-06-30