Widening for Control Flow

Publication
Verification, Model Checking, and Abstract Interpretation