Abstraction Refinement of Linear Programs with Arrays

DOI10.1007/978-3-540-71209-1_29zbMath1186.68275OpenAlexW2096561672MaRDI QIDQ5758120

Alessandro Armando, Jacopo Mantovani, Massimo Benerecetti

Publication date: 3 September 2007

Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-71209-1_29

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 (2)

An extension of lazy abstraction with interpolation for programs with arrays ⋮ CPBPV: a constraint-programming framework for bounded program verification

Uses Software

• BLAST
• SatAbs

This page was built for publication: Abstraction Refinement of Linear Programs with Arrays