Refining abstract interpretations
From MaRDI portal
Publication:765513
DOI10.1016/j.ipl.2010.05.021zbMath1234.68258MaRDI QIDQ765513
Supratik Chakraborty, Bhargav S. Gulavani, Aditya V. Nori, Sriram K. Rajamani
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
68Q60: Specification and verification (program logics, model checking, etc.)
Uses Software