Software Open Access
Kafshdar Goharshady, Amir
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
Name | Size | |
---|---|---|
examples.zip
md5:a433465a1e285f440c34e1f3660d682d |
12.7 kB | Download |
LICENSE.txt
md5:4cc4493565e07891a65c04aede0ebe1c |
1.2 kB | Download |
main.jar
md5:5e3e9b5e25bc9b33f2935813318f5dcf |
231.4 kB | Download |
README.txt
md5:24e6e3337126478aa790cb97038a6978 |
4.6 kB | Download |
src.zip
md5:5d96ca104c8e6d1567eea4c220013558 |
16.8 kB | Download |
All versions | This version | |
---|---|---|
Views | 129 | 129 |
Downloads | 54 | 54 |
Data volume | 2.2 MB | 2.2 MB |
Unique views | 117 | 117 |
Unique downloads | 25 | 25 |