[Artifact] Deductive Reasoning about Embedded Systems using Reachable Abstract States Invariants

4TU.ResearchData 2026 Dataset Open access

Read full text
Authors: Philip Tasche, Paula Herber, Marieke Huisman
DOI: 10.4121/2413bd8c-b99b-4612-933e-28ec690280de
Cited by: 1

Abstract

This is an artifact for the paper "Deductive Reasoning about Embedded Systems using Reachable Abstract States Invariants", which is an extension of the paper "Automated Invariant Generation for Efficient Deductive Reasoning about Embedded Systems". The artifact likewise extends the artifact for that paper by providing documentation for the new experiments. Both the previous paper and its artifact are linked below.

Publication details

Journal / source
4TU.ResearchData
Publication date
10 March 2026
Language
EN
Document type
Dataset