Abstraction Refinement of Linear Programs with Arrays
From MaRDI portal
Publication:5758120
DOI10.1007/978-3-540-71209-1_29zbMath1186.68275MaRDI 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
68Q60: Specification and verification (program logics, model checking, etc.)
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
An extension of lazy abstraction with interpolation for programs with arrays, CPBPV: a constraint-programming framework for bounded program verification
Uses Software