Author: M. Chechik [RDF, Bibtex, BibBase, BibGraph] has 1 publication
report error (So far 0 user(s) reported errors on this item)
Exploiting Resolution Proofs to Speed Up LTL Vacuity Detection for BMC
J. Simmonds, J. Davies, A. Gurfinkel, M. Chechik.
FMCAD
2007
