1024253 20260306144846.0 arXiv arXiv:2512.20214 doi 10.48550/arXiv.2512.20214 RWTH-2025-11089 English P:(DE-82)IDM05116 Schroer, Philipp 0 rwth Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing (Extended Version) online 2025 28 EndNote Electronic Article PUB:(DE-HGF)25 PUB:(DE-HGF) Preprint preprint preprint 1766581106_1654535 BibTeX ARTICLE DRIVER preprint DataCite Output Types/Working Paper ORCID WORKING_PAPER G:(EU-Grant)101158076 G:(EU-Grant) 101158076 - VERIPROB: a deductive verifier for probabilistic programs (101158076) 101158076 0 Dataset connected to DataCite Germany Other FOS: Computer and information sciences Other Programming Languages (cs.PL) P:(DE-82)IDM06494 Haase, Darion 1 rwth P:(DE-82)IDM00048 Katoen, Joost-Pieter 2 rwth http://publications.rwth-aachen.de/record/1024253/files/1024253.pdf Restricted oai:publications.rwth-aachen.de:1024253 openaire ec_fundedresources I:(DE-588b)36225-6 P:(DE-82)IDM05116 RWTH Aachen 0 RWTH I:(DE-588b)36225-6 P:(DE-82)IDM06494 RWTH Aachen 1 RWTH I:(DE-588b)36225-6 P:(DE-82)IDM00048 RWTH Aachen 2 RWTH 2025 I:(DE-82)121310_20140620 121310 Lehrstuhl für Softwaremodellierung und Verifikation (Informatik 2) 0 I:(DE-82)121310_20140620 UNRESTRICTED VDBINPRINT preprint