A
Menu
January 01, 2026 conference-paper Aachen paper

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

Lecture notes in computer science, pp. 210–240

DOI: 10.1007/978-3-032-22723-2_8 OpenAlex

Authors 3

  1. Philipp Schröer corresponding Aachen

    RWTH Aachen University

    Affiliation as printed

    RWTH Aachen University, Aachen, Germany

  2. Darion Haase Aachen

    RWTH Aachen University

    Affiliation as printed

    RWTH Aachen University, Aachen, Germany

  3. Joost-Pieter Katoen Aachen

    RWTH Aachen University

    Affiliation as printed

    RWTH Aachen University, Aachen, Germany

Cited by 1 stored of 1

1 result

No patents citing this paper on Lens.org (checked 2026-10-06).

References 46