Trace abstraction modulo probability

Calvin Smith, Justin Hsu, Aws Albarghouthi. Trace abstraction modulo probability. Proceedings of the ACM on Programming Languages, 3, 2019. [doi]

Abstract

Abstract is missing.