Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing (Artifact Evaluation)
Zenodo (CERN European Organization for Nuclear Research)
Abstract
This is the artifact for the artifact evaluation of the ESOP 2026 submission "Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing". See the README.md for information on how to evaluate it. The OCI Docker image is caesar.oci.tar.gz. caesar.zip contains the source code that can be used to re-build the Docker image, but this is not necessary for artifact evaluation.
Authors 3
-
Philipp Schröer Aachen
Affiliation as printed
RWTH Aachen University
-
Darion Haase Aachen
Affiliation as printed
RWTH Aachen University
-
Joost-Pieter Katoen Aachen
RWTH Aachen University · University of Twente
Affiliation as printed
RWTH Aachen University
University of Twente
Cited by 0 stored of 0
No patents citing this paper on Lens.org (checked 2026-10-06).