A Perfect Model for Bounded Verification.

Javier Esparza, Pierre Ganty, Rupak Majumdar

Browse the full LICS paper archive.