Simplifying the Verification of Quantified Array Assertions via Code Transformation

DOI10.1007/978-3-642-38197-3_13zbMath1394.68087OpenAlexW180202015MaRDI QIDQ2848907

Mohamed Nassim Seghir, Martin Brain

Publication date: 13 September 2013

Published in: Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-38197-3_13

Mathematics Subject Classification ID

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

Related Items (2)

Verifying Array Manipulating Programs with Full-Program Induction ⋮ \textsc{Diffy}: inductive reasoning of array programs using difference invariants

This page was built for publication: Simplifying the Verification of Quantified Array Assertions via Code Transformation