Sound Bit-Precise Numerical Domains

DOI10.1007/978-3-319-52234-0_27zbMath1484.68053OpenAlexW2570093519MaRDI QIDQ2961585

Tushar Sharma, Thomas W. Reps

Publication date: 21 February 2017

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

Full work available at URL: https://doi.org/10.1007/978-3-319-52234-0_27

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Numerical algorithms for computer arithmetic, etc. (65Y04)

Related Items

A new abstraction framework for affine transformers

Uses Software

• LLVM
• PPL
• Verasco

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• The octagon abstract domain
• Two-level semantics and abstract interpretation
• Weighted pushdown systems and their application to interprocedural dataflow analysis
• Donut Domains: Efficient Non-convex Domains for Abstract Interpretation
• Automatic Modular Abstractions for Template Numerical Constraints
• SubPolyhedra: A (More) Scalable Approach to Infer Linear Inequalities
• Taming the Wrapping of Integer Arithmetic
• Static Analysis in Disjunctive Numerical Domains
• Theory of Computer Addition and Overflows
• Automatic Abstraction for Intervals Using Boolean Formulae
• Fully Bounded Polyhedral Analysis of Integers with Wrapping
• Program Analysis Using Weighted Pushdown Systems
• Verification, Model Checking, and Abstract Interpretation
• Computer Aided Verification
• Transfer Function Synthesis without Quantifier Elimination