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
129
54
views
downloads
All versions This version
Views 129129
Downloads 5454
Data volume 2.2 MB2.2 MB
Unique views 117117
Unique downloads 2525
More info on how stats are collected.
Indexed in
Publication date:
August 8, 2019
DOI:
10.5281/zenodo.3363977

Zenodo DOI Badge

DOI 

10.5281/zenodo.3363977

Markdown 

[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.3363977.svg)](https://doi.org/10.5281/zenodo.3363977)

reStructedText 

.. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.3363977.svg
   :target: https://doi.org/10.5281/zenodo.3363977

HTML 

<a href="https://doi.org/10.5281/zenodo.3363977"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.3363977.svg" alt="DOI"></a>

Image URL 

https://zenodo.org/badge/DOI/10.5281/zenodo.3363977.svg

Target URL 

https://doi.org/10.5281/zenodo.3363977

Meeting:
ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), Athens, Greece, 2019
License (for files):
The Unlicense

Versions

Version 1 10.5281/zenodo.3363977 Aug 8, 2019
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.3363976. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export