guest ::
Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing (Artifact Evaluation)
; ;
2026
: Zenodo
Online
DOI: 10.5281/ZENODO.18188200
Einrichtungen
Projekte
- G:(EU-Grant) 101158076 - VERIPROB: a deductive verifier for probabilistic programs (101158076) (101158076)
- GRK 2236 - GRK 2236: Unsicherheit und Randomisierung in Algorithmen, Verifikation und Logik. (282652900) (282652900)
- MISSION - Models in Space Systems: Integration, Operation, and Networking (101008233) (101008233)
Dokumenttyp
Software
Format
online
Sprache
English
Interne Identnummern
RWTH-2026-00380
Datensatz-ID: 1024861
Beteiligte Länder
Germany
|
The record appears in these collections: |
Record created 2026-01-09, last modified 2026-01-14