Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing (Artifact Evaluation)

RWTH Publications (RWTH Aachen) 2026 Open access

Read full text
Authors: Philipp Schröer, Darion Haase, Joost-Pieter Katoen
DOI: 10.5281/zenodo.18188199
Cited by: 0

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.

Fields of Study & Subjects

Radiation Effects in Electronics Software Testing and Debugging Techniques Parallel Computing and Optimization Techniques

Publication details

Journal / source
RWTH Publications (RWTH Aachen)
Publication date
19 January 2026
Language
EN