Refining abstract interpretations

DOI10.1016/j.ipl.2010.05.021zbMath1234.68258OpenAlexW1974830258MaRDI QIDQ765513

Sriram K. Rajamani, Supratik Chakraborty, Bhargav S. Gulavani, Aditya V. Nori

Publication date: 19 March 2012

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ipl.2010.05.021

zbMATH Keywords

interpolationabstract interpretationprogram correctnessCEGAR

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Loop summarization using state and transition invariants

Uses Software

• SLAM
• ARMC
• Dagger

Cites Work

• Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
• Abstractions from proofs
• Lazy abstraction
• Automatically Refining Abstract Interpretations
• Tools and Algorithms for the Construction and Analysis of Systems
• Verification, Model Checking, and Abstract Interpretation

This page was built for publication: Refining abstract interpretations