10.5281/zenodo.3363977
https://zenodo.org/records/3363977
oai:zenodo.org:3363977
Kafshdar Goharshady, Amir
Amir
Kafshdar Goharshady
IST Austria
Software Artifact Accompanying the Article "Modular Verification for Almost-Sure Termination of Probabilistic Programs"
Zenodo
2019
2019-08-08
eng
10.5281/zenodo.3363976
1
The Unlicense
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