h1

h2

h3

h4

h5
h6

001     1024861
005     20260114055355.0
024 7 _ |2 doi
|a 10.5281/ZENODO.18188200
037 _ _ |a RWTH-2026-00380
041 _ _ |a English
100 1 _ |0 P:(DE-82)IDM05116
|a Schröer, Philipp
|b 0
245 _ _ |a Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing (Artifact Evaluation)
|h online
250 _ _ |a v1
260 _ _ |b Zenodo
|c 2026
336 7 _ |2 DCMI
|a Software
336 7 _ |0 PUB:(DE-HGF)33
|2 PUB:(DE-HGF)
|a Software
|b sware
|m sware
|s 1768292594_444373
336 7 _ |2 BibTeX
|a MISC
336 7 _ |0 6
|2 EndNote
|a Computer Program
336 7 _ |2 ORCID
|a OTHER
336 7 _ |2 DataCite
|a Software
536 _ _ |0 G:(EU-Grant)101158076
|a G:(EU-Grant) 101158076 - VERIPROB: a deductive verifier for probabilistic programs (101158076)
|c 101158076
|x 0
536 _ _ |0 G:(GEPRIS)282652900
|a GRK 2236 - GRK 2236: Unsicherheit und Randomisierung in Algorithmen, Verifikation und Logik. (282652900)
|c 282652900
|x 1
536 _ _ |0 G:(EU-Grant)101008233
|a MISSION - Models in Space Systems: Integration, Operation, and Networking (101008233)
|c 101008233
|f H2020-MSCA-RISE-2020
|x 2
588 _ _ |a Dataset connected to DataCite
591 _ _ |a Germany
700 1 _ |0 P:(DE-82)IDM06494
|a Haase, Darion
|b 1
700 1 _ |0 P:(DE-82)IDM00048
|a Katoen, Joost-Pieter
|b 2
909 C O |o oai:publications.rwth-aachen.de:1024861
|p openaire
|p VDB
|p ec_fundedresources
910 1 _ |0 I:(DE-588b)36225-6
|6 P:(DE-82)IDM05116
|a RWTH Aachen
|b 0
|k RWTH
910 1 _ |0 I:(DE-588b)36225-6
|6 P:(DE-82)IDM06494
|a RWTH Aachen
|b 1
|k RWTH
910 1 _ |0 I:(DE-588b)36225-6
|6 P:(DE-82)IDM00048
|a RWTH Aachen
|b 2
|k RWTH
914 1 _ |y 2026
920 1 _ |0 I:(DE-82)121310_20140620
|k 121310
|l Lehrstuhl für Softwaremodellierung und Verifikation (Informatik 2)
|x 0
980 _ _ |a sware
980 _ _ |a VDB
980 _ _ |a I:(DE-82)121310_20140620
980 _ _ |a UNRESTRICTED

LibraryCollectionCLSMajorCLSMinorLanguageAuthor
Marc 21