Widening for Control Flow

Ben Hardekopf, Ben Wiedermann, Berkeley Churchill, Vineeth Kashyap
PDF
Type
Conference paper
Publication
Verification, Model Checking, and Abstract Interpretation