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

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

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)

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

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)