Description
This is the artifact for our paper "Foundations for Deductive Verification of Continuous Probabilistic Programs" presented at OOPSLA 2025.
| Date made available | 8 Apr 2025 |
|---|---|
| Publisher | Zenodo |
Cite this
- DataSetCite
Artifact for Paper Foundations for Deductive Verification of Continuous Probabilistic Programs
- Kevin Batz (Creator)
- Joost-Pieter Katoen (Creator)
- Francesca Randone (Creator)
- Tobias Winkler (Creator)
Dataset