h1

h2

h3

h4

h5
h6
001024253 001__ 1024253
001024253 005__ 20260306144846.0
001024253 0247_ $$2arXiv$$aarXiv:2512.20214
001024253 0247_ $$2doi$$a10.48550/arXiv.2512.20214
001024253 037__ $$aRWTH-2025-11089
001024253 041__ $$aEnglish
001024253 1001_ $$0P:(DE-82)IDM05116$$aSchroer, Philipp$$b0$$urwth
001024253 245__ $$aError Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing (Extended Version)$$honline
001024253 260__ $$c2025
001024253 3367_ $$028$$2EndNote$$aElectronic Article
001024253 3367_ $$0PUB:(DE-HGF)25$$2PUB:(DE-HGF)$$aPreprint$$bpreprint$$mpreprint$$s1766581106_1654535
001024253 3367_ $$2BibTeX$$aARTICLE
001024253 3367_ $$2DRIVER$$apreprint
001024253 3367_ $$2DataCite$$aOutput Types/Working Paper
001024253 3367_ $$2ORCID$$aWORKING_PAPER
001024253 536__ $$0G:(EU-Grant)101158076$$aG:(EU-Grant) 101158076 - VERIPROB: a deductive verifier for probabilistic programs (101158076)$$c101158076$$x0
001024253 588__ $$aDataset connected to DataCite
001024253 591__ $$aGermany
001024253 650_7 $$2Other$$aFOS: Computer and information sciences
001024253 650_7 $$2Other$$aProgramming Languages (cs.PL)
001024253 7001_ $$0P:(DE-82)IDM06494$$aHaase, Darion$$b1$$urwth
001024253 7001_ $$0P:(DE-82)IDM00048$$aKatoen, Joost-Pieter$$b2$$urwth
001024253 8564_ $$uhttps://publications.rwth-aachen.de/record/1024253/files/1024253.pdf$$yRestricted
001024253 909CO $$ooai:publications.rwth-aachen.de:1024253$$pec_fundedresources$$popenaire
001024253 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM05116$$aRWTH Aachen$$b0$$kRWTH
001024253 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM06494$$aRWTH Aachen$$b1$$kRWTH
001024253 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM00048$$aRWTH Aachen$$b2$$kRWTH
001024253 9141_ $$y2025
001024253 9201_ $$0I:(DE-82)121310_20140620$$k121310$$lLehrstuhl für Softwaremodellierung und Verifikation (Informatik 2)$$x0
001024253 961__ $$c2025-12-24T14:05:01.718619$$x2025-12-24T14:05:01.718619$$z2025-12-29
001024253 980__ $$aI:(DE-82)121310_20140620
001024253 980__ $$aUNRESTRICTED
001024253 980__ $$aVDBINPRINT
001024253 980__ $$apreprint