Infinite State Model Checking by Abstract Interpretation and Program Specialisation.

Michael Leuschel, Thierry Massart

Browse the full LOPSTR paper archive.