Numeric bounds analysis with conflict-driven learning

DOI10.1007/978-3-642-28756-5_5MaRDI QIDQ2894265zbMATH OpenOpenAlexFDO

Authors Vijay D'Silva, Leopold Haller, Daniel Kroening, Michael Tautschnig

Publication date 29 June 2012

Published in Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-28756-5_5

Mathematics Subject Classification ID

General methods in interval analysis (65G40) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Deciding floating-point logic with abstract conflict driven clause learning
• Static Analysis of Numerical Algorithms
• scientific article; zbMATH DE number 2084728
• Static analysis of finite precision computations
• Interval slopes as a numerical abstract domain for floating-point variables

Cited in

(12)

• raSAT: an SMT solver for polynomial constraints
• Combining tools for optimization and analysis of floating-point computations
• Loop summarization using state and transition invariants
• An approximation framework for solvers and decision procedures
• Exploiting binary floating-point representations for constraint propagation
• SAT-Based Model Checking
• Abstract Interpretation as Automated Deduction
• Splitting the Control Flow with Boolean Flags
• scientific article; zbMATH DE number 2084728 (Why is no real title available?)
• Deciding floating-point logic with abstract conflict driven clause learning
• Interval slopes as a numerical abstract domain for floating-point variables
• Checking compatibility of bit sizes in floating point comparison operations

This page was built for publication: Numeric bounds analysis with conflict-driven learning

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2894265)