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

Schröer, Philipp Haase, Darion Katoen, Joost-Pieter

121310

Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing (Artifact Evaluation) Zenodo English PUB:(DE-HGF)33, ; 6, ;

Software

2026

RWTH-2026-00380

2026

https://publications.rwth-aachen.de/record/1024861 https://doi.org/10.5281/ZENODO.18188200