Abstract Interpretation as Automated Deduction

DOI10.1007/978-3-319-21401-6_31zbMath1465.68175MaRDI QIDQ3454115

Vijay D'Silva, Caterina Urban

Publication date: 2 December 2015

Published in: Automated Deduction - CADE-25 (Search for Journal in Brave)

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Specification and verification (program logics, model checking, etc.) (68Q60) Mechanization of proofs and logical operations (03B35) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (1)

Abstract interpretation as automated deduction

Uses Software

• Dagger

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Deciding floating-point logic with abstract conflict driven clause learning
• Introduction to set constraint-based program analysis
• Numeric Bounds Analysis with Conflict-Driven Learning
• Abstract conflict driven learning
• Logical Interpretation: Static Program Analysis Using Theorem Proving
• Systematic design of program transformation frameworks by abstract interpretation
• Program analysis via satisfiability modulo path programs
• Theories, solvers and static analysis by abstract interpretation
• Abstract satisfaction
• Internal and External Logics of Abstract Interpretations
• Automatically Refining Abstract Interpretations

This page was built for publication: Abstract Interpretation as Automated Deduction