Author: M. Chechik [RDF, Bibtex, BibBase] has 1 publication


Exploiting Resolution Proofs to Speed Up LTL Vacuity Detection for BMC J. Simmonds, J. Davies, A. Gurfinkel, M. Chechik. FMCAD 2007