Relational Abstract Domain of Weighted Hexagons

DOI10.1016/j.entcs.2010.09.006zbMath1342.68082OpenAlexW2079168903MaRDI QIDQ2814105

Konrad Durnoga, Aleksy Schubert, Krzysztof Jakubczyk, Jędrzej Fulara

Publication date: 17 June 2016

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

Full work available at URL: https://doi.org/10.1016/j.entcs.2010.09.006

zbMATH Keywords

static analysisabstract interpretationnumerical abstract domains

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (5)

On the efficiency of convex polyhedra ⋮ Discovering invariants via simple component analysis ⋮ TreeKs: A Functor to Make Numerical Abstract Domains Scalable ⋮ Generic Abstraction of Dictionaries and Arrays ⋮ Sweeping in Abstract Interpretation

Uses Software

• ASTREE

Cites Work

• The octagon abstract domain
• Two Variables per Linear Inequality as an Abstract Domain
• Abstract interpretation and application to logic programs
• Systematic design of program transformation frameworks by abstract interpretation
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Relational Abstract Domain of Weighted Hexagons