Benefits of Bounded Model Checking at an Industrial Setting.

Fady Copty, Limor Fix, Ranan Fraer, Enrico Giunchiglia, Gila Kamhi, Armando Tacchella, Moshe Y. Vardi

Browse the full CAV paper archive.