DMCA

Bounded model checking and induction: From refutation to verification (extended abstract, category A

by Leonardo De Moura , Harald Ruess , Maria Sorea
Venue:Proceedings of the 15th International Conference on Computer Aided Verification, CAV 2003, volume 2725 of Lecture Notes in Computer Science
Citations:68 - 8 self