Verification, Model Checking, and Abstract InterpretationVMCAI 2008 (2008 San Francisco, Calif.)₹2,299