Verification, Model Checking, and Abstract Interpretation

DOI10.1007/b105073zbMath1111.68504OpenAlexW2611288859MaRDI QIDQ5711508

Jerome Feret

Publication date: 6 December 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b105073

zbMATH Keywords

static analysisAbstract Interpretationnumerical domains

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

On the efficiency of convex polyhedra, Why does Astrée scale up?, The octagon abstract domain, Discovering invariants via simple component analysis