There is a newer version of the record available.

Published April 8, 2025 | Version OOPSLA-2025-R1-camera-ready
Software Open

Artifact for Paper Foundations for Deductive Verification of Continuous Probabilistic Programs

Authors/Creators

  • 1. ROR icon RWTH Aachen University
  • 2. University of Twente
  • 3. ROR icon 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
md5:586d52a7fd8edfb33d354b859c33bf9e
2.6 GB Preview Download