Automating abstract interpretation

DOI10.1007/978-3-662-49122-5_1MaRDI QIDQ2796033zbMATH OpenOpenAlexFDO

Authors Aditya V. Thakur, Thomas Reps

Publication date 23 March 2016

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

Full work available at URL https://doi.org/10.1007/978-3-662-49122-5_1

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Abstract interpretation
• scientific article; zbMATH DE number 1953018
• Abstract interpretation as automated deduction
• Abstract Interpretation as Automated Deduction
• scientific article; zbMATH DE number 2087617

Cited in

(10)

• Fast three-valued abstract bit-vector arithmetic
• Memory-efficient fixpoint computation
• Abstract neural networks
• An abstract interpretation framework for input data usage
• An automata-based approach to trace partitioned abstract interpretation
• Abstract Interpretation as Automated Deduction
• Automatic abstraction for bit-vectors using decision procedures
• String abstract domains and their combination
• Invariant inference with provable complexity from the monotone theory
• Memory-efficient fixpoint computation

This page was built for publication: Automating abstract interpretation

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