Constraint-based synthesis of coupling proofs

DOI10.1007/978-3-319-96145-3_18zbMath1511.68065arXiv1804.04052OpenAlexW2797085787MaRDI QIDQ6045011

Justin Hsu, Aws Albarghouthi

Publication date: 26 May 2023

Published in: Computer Aided Verification (Search for Journal in Brave)

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

Mathematics Subject Classification ID

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

Related Items (2)

Unnamed Item ⋮ Divergences on monads for relational program logics

This page was built for publication: Constraint-based synthesis of coupling proofs