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

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

Read full text
Authors: Philipp Schröer, Darion Haase, Joost-Pieter Katoen
DOI: 10.5281/zenodo.18188200
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.

Publication details

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