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

Mathematics Subject Classification ID

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)

Mixed nondeterministic-probabilistic automata: blending graphical probabilistic models with nondeterminism

Uses Software

• EasyCrypt

This page was built for publication: Relational Reasoning via Probabilistic Coupling