Software Open Access

Software Artifact Accompanying the Article "Modular Verification for Almost-Sure Termination of Probabilistic Programs"

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

Files (266.6 kB)
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
53
23
views
downloads
All versions This version
Views 5353
Downloads 2323
Data volume 816.5 kB816.5 kB
Unique views 4747
Unique downloads 77

Share

Cite as