Underapproximating Predicate Transformers
From MaRDI portal
Publication:3613382
DOI10.1007/11823230_9zbMath1225.68078OpenAlexW1585527903MaRDI QIDQ3613382
Publication date: 12 March 2009
Published in: Static Analysis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11823230_9
Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
Inverse-limit and topological aspects of abstract interpretation ⋮ Competent predicate abstraction in model checking ⋮ Internal and External Logics of Abstract Interpretations ⋮ Abstract Interpretation from a Topological Perspective ⋮ Extracting Program Logics From Abstract Interpretations Defined by Logical Relations