3363977
doi
10.5281/zenodo.3363977
oai:zenodo.org:3363977
Software Artifact Accompanying the Article "Modular Verification for Almost-Sure Termination of Probabilistic Programs"
Kafshdar Goharshady, Amir
IST Austria
info:eu-repo/semantics/openAccess
The Unlicense
https://unlicense.org/
<p>This package contains code and data needed for reproducing results reported in the following paper:</p>
<p> </p>
<p>Modular Verification for Almost-Sure Termination of Probabilistic Programs<br>
M. Huang, H. Fu, K. Chatterjee, A. Goharshady</p>
<p>To appear in OOPSLA 2019</p>
Zenodo
2019-08-08
info:eu-repo/semantics/other
3363976
1
1579937038.29807
16764
md5:5d96ca104c8e6d1567eea4c220013558
https://zenodo.org/records/3363977/files/src.zip
231356
md5:5e3e9b5e25bc9b33f2935813318f5dcf
https://zenodo.org/records/3363977/files/main.jar
4612
md5:24e6e3337126478aa790cb97038a6978
https://zenodo.org/records/3363977/files/README.txt
12671
md5:a433465a1e285f440c34e1f3660d682d
https://zenodo.org/records/3363977/files/examples.zip
1235
md5:4cc4493565e07891a65c04aede0ebe1c
https://zenodo.org/records/3363977/files/LICENSE.txt
public
10.5281/zenodo.3363976
isVersionOf
doi