Published July 14, 2023
| Version v1
Software
Open
A Deductive Verification Infrastructure for Probabilistic Programs - Artifact Evaluation
Creators
- 1. RWTH Aachen University
- 2. Saarland University, Saarland Informatics Campus; and University College London
- 3. Technical University of Denmark
Description
This is the artifact for our OOPSLA 2023 paper "A Deductive Verification Infrastructure for Probabilistic Programs".
Files
Files
(271.5 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:e49036e98cac221858ac5bd04b46c5b6
|
271.5 MB | Download |