Treffer: A Deductive Verification Infrastructure for Probabilistic Programs

Title:
A Deductive Verification Infrastructure for Probabilistic Programs
Authors:
Schroer, Philipp, Batz, Kevin, Kaminski, Benjamin Lucien, Katoen, Joost-Pieter, Matheja, Christoph
Source:
Proceedings of the ACM on programming languages 7(OOPSLA2), 294 (2023). doi:10.1145/3622870 special issue: "OOPSLA2" ; International Conference on Systems, Programming, Languages and Applications: Software for Humanity, SPLASH 2023, Cascais, Portugal, 2023-10-22 - 2023-10-27 Object-Oriented Programming, Systems, Languages & Applications, OOPSLA 2023, Cascais, Portugal, 2023-10-22 - 2023-10-27
Publisher Information:
ACM
Publication Year:
2023
Collection:
RWTH Aachen University: RWTH Publications
Subject Terms:
info:eu-repo/classification/ddc/004
Subject Geographic:
DE
Document Type:
Fachzeitschrift article in journal/newspaper
Language:
English
Relation:
info:eu-repo/semantics/altIdentifier/wos/WOS:001087279100074; info:eu-repo/semantics/altIdentifier/issn/2475-1421; info:eu-repo/grantAgreement/EC//787914
Availability:
https://publications.rwth-aachen.de/record/973293
https://publications.rwth-aachen.de/search?p=id:%22RWTH-2023-10693%22
Rights:
info:eu-repo/semantics/openAccess
Accession Number:
edsbas.7689BC68
Database:
BASE