Property Directed Polyhedral Abstraction
From MaRDI portal
Publication:5172647
DOI10.1007/978-3-662-46081-8_15zbMath1432.68257OpenAlexW170466186MaRDI QIDQ5172647
Nikolaj Bjørner, Arie Gurfinkel
Publication date: 4 February 2015
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-662-46081-8_15
Symbolic computation and algebraic computation (68W30) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (5)
Infinite-state invariant checking with IC3 and predicate abstraction ⋮ When Is a Formula a Loop Invariant? ⋮ Horn Clause Solvers for Program Verification ⋮ On multi-language abstraction. Towards a static analysis of multi-language programs ⋮ Syntax-guided synthesis for lemma generation in hardware model checking
Uses Software
This page was built for publication: Property Directed Polyhedral Abstraction
