Relational Reasoning via Probabilistic Coupling
DOI10.1007/978-3-662-48899-7_27zbMath1471.68127arXiv1509.03476OpenAlexW2228964661MaRDI QIDQ3460069
Pierre-Yves Strub, Léo Stefanesco, Gilles Barthe, Benjamin Grégoire, Justin Hsu, Thomas Espitau
Publication date: 12 January 2016
Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1509.03476
Cryptography (94A60) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
Related Items (1)
Uses Software
This page was built for publication: Relational Reasoning via Probabilistic Coupling