Exploiting synchrony and symmetry in relational verification

DOI10.1007/978-3-319-96145-3_9zbMATH Open1511.68166MaRDI QIDQ6045003FDOQ6045003

Authors: Lauren Pick, Grigory Fedyukovich, Aarti Gupta 

Publication date: 26 May 2023

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

Recommendations

• Relational verification via invariant-guided synchronization
• Beyond 2-safety: asymmetric product programs for relational program verification
• Automated verification of relational while-programs
• Certified verification of relational properties
• Constraint-based relational verification

Mathematics Subject Classification ID

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

Cited In (8)

• Constraint-based relational verification
• Title not available (Why is that?)
• Title not available (Why is that?)
• Beyond 2-safety: asymmetric product programs for relational program verification
• SMT-based verification of program changes through summary repair
• Bridging arrays and ADTs in recursive proofs
• Learning inductive invariants by sampling from frequency distributions
• Automated verification of relational while-programs

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6045003)