Published June 23, 2025 | Version OOPSLA-2025-AEC-submission
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:068e31df6cfb77c0c45f59410d58b960
2.6 GB Preview Download