Modular Reasoning about Object Relations (Artifact)

Zenodo (CERN European Organization for Nuclear Research) 2026 Open access

Read full text
Authors: Micha Greutmann, Marco Eilers, Peter Müller
DOI: 10.5281/zenodo.19849601
Cited by: 1

Abstract

This is the artifact for the CAV 2026 paper "Modular Reasoning about Object Relations". For more information, see the description of the artifact in "README.pdf".

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
6 May 2026
Language
EN