The DOI displayed above is for this specific version of this dataset, which is currently the latest. Newer versions may be published in the future. For a link that will always point to the latest version, please use
DOI: 10.4121/62dcf604-3009-4e09-a002-52c12e9504fa

Philip Tasche; Paula Herber; Huisman, Marieke (2025): [Artifact] Deductive Verification of Cooperative RTOS Applications. Version 2. 4TU.ResearchData. dataset. https://doi.org/10.4121/62dcf604-3009-4e09-a002-52c12e9504fa.v2

Version 1 - 2025-07-15

Categories

• Other Information and Computing Sciences
• Computer Software
• Information and Computing Sciences

Keywords

deductive verification embedded systems real time RTOS

Licence

MPL 2.0

Interoperability

• RO-Crate Metadata

Export as...

RefWorks BibTeX Reference Manager Endnote DataCite NLM DC CFF

by Philip Tasche , Paula Herber , Marieke Huisman

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.

The VM has been tested with VirtualBox 7.1.6. Both username and password to the VM are "artifact" (no quotes).

History

• 2025-07-15 first online

• 2025-09-10 published, posted

Publisher

4TU.ResearchData

Format

virtual machine/.ova; program/{.c,.h}; verification/.pvl; text/.md

Associated peer-reviewed publication

Deductive Verification of Cooperative RTOS Applications

Organizations

University of Twente, Faculty of Electrical Engineering, Mathematics and Computer Science, Formal Methods and Tools