h1

h2

h3

h4

h5
h6
%0 Computer Program
%A Schröer, Philipp
%A Haase, Darion
%A Katoen, Joost-Pieter
%T Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing (Artifact Evaluation); v1
%I Zenodo
%M RWTH-2026-00380
%D 2026
%F PUB:(DE-HGF)33
%9 Software
%R 10.5281/ZENODO.18188200
%U https://publications.rwth-aachen.de/record/1024861