Automatic Abstraction for Intervals Using Boolean Formulae

DOI10.1007/978-3-642-15769-1_11zbMath1306.68020OpenAlexW1485150864MaRDI QIDQ4930724

Andy King, Jörg Brauer

Publication date: 1 October 2010

Published in: Static Analysis (Search for Journal in Brave)

Full work available at URL: https://kar.kent.ac.uk/30633/1/main.pdf

Mathematics Subject Classification ID

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

Related Items (5)

Sound Bit-Precise Numerical Domains ⋮ Abstract interpretation of microcontroller code: intervals meet congruences ⋮ Transfer Function Synthesis without Quantifier Elimination ⋮ Range and Set Abstraction using SAT ⋮ Cost analysis of object-oriented bytecode programs

Uses Software

• Sat4j
• Octagon

This page was built for publication: Automatic Abstraction for Intervals Using Boolean Formulae