An assertion-based program logic for probabilistic programs

DOI10.1007/978-3-319-89884-1_5zbMath1418.68049arXiv1803.05535OpenAlexW2962780947MaRDI QIDQ2323970

Pierre-Yves Strub, Justin Hsu, Thomas Espitau, Gilles Barthe, Marco Gaboardi, Benjamin Grégoire

Publication date: 13 September 2019

Full work available at URL: https://arxiv.org/abs/1803.05535

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Formal semantics of a classical-quantum language ⋮ Probabilistic Lipschitz analysis of neural networks

This page was built for publication: An assertion-based program logic for probabilistic programs