Maximal and Compositional Pattern-Based Loop Invariants

DOI10.1007/978-3-642-32759-9_7zbMath1372.68060OpenAlexW4301954000MaRDI QIDQ4647830

Virginia Aponte, Pierre Courtieu, Marc Sango, Yannick Moy

Publication date: 8 November 2012

Published in: FM 2012: Formal Methods (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-32759-9_7

zbMATH Keywords

compositional reasoningloop invariantsautomatic invariant generation

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

This page was built for publication: Maximal and Compositional Pattern-Based Loop Invariants