h1

h2

h3

h4

h5
h6
http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png

Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing (Extended Version)

; ;

Online
DOI: 10.48550/arXiv.2512.20214

URL: https://publications.rwth-aachen.de/record/1024253/files/1024253.pdf

Einrichtungen

  1. Lehrstuhl für Softwaremodellierung und Verifikation (Informatik 2) (121310)

Projekte

  1. G:(EU-Grant) 101158076 - VERIPROB: a deductive verifier for probabilistic programs (101158076) (101158076)

Inhaltliche Beschreibung (Schlagwörter)
FOS: Computer and information sciences (Genormte SW) ; Programming Languages (cs.PL) (Genormte SW)

Restricted:
Download fulltext PDF
External link:
Download fulltextFulltext by arXiv.org

Dokumenttyp
Preprint

Format
online

Sprache
English

Externe Identnummern
arXiv: arXiv:2512.20214

Interne Identnummern
RWTH-2025-11089
Datensatz-ID: 1024253

Beteiligte Länder
Germany

 GO

QR Code for this record

The record appears in these collections:
Document types > Other document types > Preprints
Faculty of Computer Science (Fac.9)
Documents in print
Public records
121310
 Record created 2025-12-24, last modified 2026-03-06
Similar records


Restricted:
Download fulltext PDF
External link:
Download fulltextFulltext by arXiv.org
Rate this document:

Rate this document:
1
2
3
4
5
 
(Not yet reviewed)