Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing.

Philipp Schrer, Darion Haase, Joost-Pieter Katoen

Browse the full ESOP paper archive.