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:
Volltext herunterladen PDF
Externer link:
Volltext herunterladenFulltext 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:
Dokumenttypen > Andere Dokumenttypen > Preprints
Fakultät für Informatik (Fak.9)
Öffentliche Einträge
121310
Im Druck

 Datensatz erzeugt am 2025-12-24, letzte Änderung am 2026-03-06


Restricted:
Volltext herunterladen PDF
Externer link:
Volltext herunterladenFulltext by arXiv.org
Dieses Dokument bewerten:

Rate this document:
1
2
3
 
(Bisher nicht rezensiert)