A Deductive Verification Infrastructure for Probabilistic Programs (Extended Version)

Schroer, Philipp (Corresponding author)^RWTH* ; Batz, Kevin (Corresponding author)^RWTH* ; Kaminski, Benjamin Lucien (Corresponding author) ; Katoen, Joost-Pieter (Corresponding author)^RWTH* ; Matheja, Christoph (Corresponding author)

2023

Umfang[1]-48

Online
DOI: 10.18154/RWTH-2023-10748
DOI: 10.48550/arXiv.2309.07781
10.48550/arXiv.2309.07781
URL: https://publications.rwth-aachen.de/record/973371/files/973371.pdf

Einrichtungen

Projekte

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

OpenAccess:
PDF
External link:
Fulltext by arXiv.org

Dokumenttyp
Preprint

Format
online

Sprache
English

Externe Identnummern
arXiv: arXiv:2309.07781

Interne Identnummern
RWTH-2023-10748
Datensatz-ID: 973371

Beteiligte Länder
Denmark, Germany, UK

Related:

Journal Article/Contribution to a conference proceedings Schroer, P. (Corresponding author)RWTH* ; Batz, K. (Corresponding author)RWTH* ; Kaminski, B. L. (Corresponding author) ; Katoen, J.-P. (Corresponding author)RWTH* ; Matheja, C. (Corresponding author)
A Deductive Verification Infrastructure for Probabilistic Programs
2023International Conference on Systems, Programming, Languages and Applications: Software for Humanity, SPLASH 2023, CascaisCascais, Portugal, 22 Oct 2023 - 27 Oct 20232023-10-222023-10-27
Object-Oriented Programming, Systems, Languages & Applications, OOPSLA 2023, CascaisCascais, Portugal, 22 Oct 2023 - 27 Oct 20232023-10-222023-10-27 Proceedings of the ACM on programming languages 7(OOPSLA2), 294 (2023) [10.1145/3622870] special issue: "OOPSLA2"2023 OpenAccess Files BibTeX | EndNote: XML, Text | RIS