Published May 6, 2022
| Version 0.0.1
Software
Open
Prodigy - Artifact Evaluation at CAV 2022
- 1. RWTH Aachen University
Description
The Docker image used for the Artifact Evaluation at the 34th International Conference on Computer-Aided Verification (CAV 2022).
This Docker image reproduces the results in the paper titled "Does a Program Yield the Right Distribution? Verifying Probabilistic Programs via Generating Functions".
Notes
This research was funded by the ERC Advanced Project FRAPPANT under grant No. 787914 and by the DFG RTG 2236 UnRAVeL.
Files
AE-CAV22-Prodigy.zip
Files
(605.9 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:e6a035f7a8fc801dadb4bf24e344e204
|
605.9 MB | Preview Download |