Modular Verification for Almost-Sure Termination of Probabilistic Programs

Mingzhang Huang, Hongfei Fu, Krishnendu Chatterjee, Amir Kafshdar Goharshady
PDF Published version Artifact
Type
Conference paper
Publication
ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA)