Published August 8, 2019
| Version 1
Software
Open
Software Artifact Accompanying the Article "Modular Verification for Almost-Sure Termination of Probabilistic Programs"
Description
This package contains code and data needed for reproducing results reported in the following paper:
Modular Verification for Almost-Sure Termination of Probabilistic Programs
M. Huang, H. Fu, K. Chatterjee, A. Goharshady
To appear in OOPSLA 2019
Files
examples.zip
Files
(266.6 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:a433465a1e285f440c34e1f3660d682d
|
12.7 kB | Preview Download |
|
md5:4cc4493565e07891a65c04aede0ebe1c
|
1.2 kB | Preview Download |
|
md5:5e3e9b5e25bc9b33f2935813318f5dcf
|
231.4 kB | Download |
|
md5:24e6e3337126478aa790cb97038a6978
|
4.6 kB | Preview Download |
|
md5:5d96ca104c8e6d1567eea4c220013558
|
16.8 kB | Preview Download |