Published June 23, 2025
| Version OOPSLA-2025-AEC-submission
Software
Open
Artifact for Paper Foundations for Deductive Verification of Continuous Probabilistic Programs
-
1.
RWTH Aachen University
- 2. University of Twente
-
3.
IMT School for Advanced Studies Lucca
Description
This is the artifact for our paper "Foundations for Deductive Verification of Continuous Probabilistic Programs" presented at OOPSLA 2025.
Files
batz-et-al_oopsla25_artifact.zip
Files
(2.6 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:068e31df6cfb77c0c45f59410d58b960
|
2.6 GB | Preview Download |