Exploiting synchrony and symmetry in relational verification

DOI10.1007/978-3-319-96145-3_9zbMath1511.68166MaRDI QIDQ6045003

Lauren Pick, Aarti Gupta, Grigory Fedyukovich

Publication date: 26 May 2023

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (6)

Constraint-based relational verification ⋮ SMT-based verification of program changes through summary repair ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Learning inductive invariants by sampling from frequency distributions ⋮ Bridging arrays and ADTs in recursive proofs

This page was built for publication: Exploiting synchrony and symmetry in relational verification