cff-version: 1.2.0
abstract: "<p>This is the artifact accompanying the paper "Deductive Verification of Cooperative RTOS Applications". It contains case studies, tools and replication instructions used in the experiments for the paper. The artifact comes packaged in a virtual machine image (in artifact-VM.zip) with an appropriate version of the VerCors verifier installed. For convenience, the artifact data are also included separately from the VM (in artifact-contents.zip) for easier inspection. For more detail on contents and usage of the artifact, refer to the included README.</p><p><br></p><p>The VM has been tested with VirtualBox 7.1.6. Both username and password to the VM are "artifact" (no quotes).</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] Deductive Verification of Cooperative RTOS Applications"
keywords:
version: 1
identifiers:
  - type: doi
    value: 10.4121/62dcf604-3009-4e09-a002-52c12e9504fa.v1
license: MPL 2.0
date-released: 2025-07-15