Array abstraction with symbolic pivots

DOI10.1007/978-3-319-30734-3_9zbMath1475.68088OpenAlexW2346189690MaRDI QIDQ2026786

Richard Bubel, Nathan Wasser, Reiner Hähnle

Publication date: 20 May 2021

Full work available at URL: https://doi.org/10.1007/978-3-319-30734-3_9

zbMATH Keywords

abstract interpretationprogram verificationarray abstractionloop-invariant generation

Mathematics Subject Classification ID

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