@InProceedings{vaqtree07,
  Title                    = {Exploiting Resolution Proofs to Speed Up LTL Vacuity Detection for BMC},
  Author                   = {J. Simmonds and J. Davies and A. Gurfinkel and M. Chechik},
  Booktitle                = {FMCAD},
  Year                     = {2007},

  Timestamp                = {2018.09.23},
  Url                      = {davies_fmcad07.pdf}
}

{"_id":{"_str":"5342632a0e946d920a000d5b"},"__v":8,"authorIDs":["54690836bc7d6a460d001111","546f8b195ac8e5e30d000305"],"author_short":["Simmonds, J.","Davies, J.","Gurfinkel, A.","Chechik, M."],"bibbaseid":"simmonds-davies-gurfinkel-chechik-exploitingresolutionproofstospeedupltlvacuitydetectionforbmc-2007","bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Exploiting Resolution Proofs to Speed Up LTL Vacuity Detection for BMC","author":[{"firstnames":["J."],"propositions":[],"lastnames":["Simmonds"],"suffixes":[]},{"firstnames":["J."],"propositions":[],"lastnames":["Davies"],"suffixes":[]},{"firstnames":["A."],"propositions":[],"lastnames":["Gurfinkel"],"suffixes":[]},{"firstnames":["M."],"propositions":[],"lastnames":["Chechik"],"suffixes":[]}],"booktitle":"FMCAD","year":"2007","timestamp":"2018.09.23","url":"davies_fmcad07.pdf","bibtex":"@InProceedings{vaqtree07,\n Title = {Exploiting Resolution Proofs to Speed Up LTL Vacuity Detection for BMC},\n Author = {J. Simmonds and J. Davies and A. Gurfinkel and M. Chechik},\n Booktitle = {FMCAD},\n Year = {2007},\n\n Timestamp = {2018.09.23},\n Url = {davies_fmcad07.pdf}\n}\n\n","author_short":["Simmonds, J.","Davies, J.","Gurfinkel, A.","Chechik, M."],"key":"vaqtree07","id":"vaqtree07","bibbaseid":"simmonds-davies-gurfinkel-chechik-exploitingresolutionproofstospeedupltlvacuitydetectionforbmc-2007","role":"author","urls":{"Paper":"http://www.cs.toronto.edu/kr/publications/davies_fmcad07.pdf"},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://www.cs.toronto.edu/kr/publications/list.bib","downloads":0,"keywords":[],"search_terms":["exploiting","resolution","proofs","speed","ltl","vacuity","detection","bmc","simmonds","davies","gurfinkel","chechik"],"title":"Exploiting Resolution Proofs to Speed Up LTL Vacuity Detection for BMC","year":2007,"dataSources":["2LLKDfkxMDdABm58M","optQ3PYGE2PxhriFJ","vAo9zFmkx4MpPsgha"]}