Verification, Model Checking, and Abstract Interpretation

by Sriram Sankaranarayanan, Ashutosh Trivedi, Krishna Shankaranarayanan