Automatic Verification of Integer Array Programs

DOI10.1007/978-3-642-02658-4_15zbMath1242.68063OpenAlexW2128466619MaRDI QIDQ3636859

Tomáš Vojnar, Radu Iosif, Filip Konečný, Marius Bozga, Peter Habermehl

Publication date: 30 June 2009

Published in: Computer Aided Verification (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-02658-4_15

Mathematics Subject Classification ID

Formal languages and automata (68Q45) 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

Guiding Craig interpolation with domain-specific abstractions, Inferring Loop Invariants Using Postconditions, Abstraction refinement and antichains for trace inclusion of infinite state systems, Array theory of bounded elements and its applications