Verifying synchronous reactive systems using lazy abstraction.

Kumar Madhukar, Mandayam K. Srivas, Bjrn Wachter, Daniel Kroening, Ravindra Metta

Browse the full DATE paper archive.