Exploring and Categorizing Error Spaces using BMC and SMT

Exploring and Categorizing Error Spaces using BMC and SMT” by Tim King and Clark Barrett. In Proceedings of the 9^th International Workshop on Satisfiability Modulo Theories (SMT '11), July 2011. Snowbird, Utah.

BibTeX entry:

@inproceedings{KB11,
   author = {Tim King and Clark Barrett},
   title = {Exploring and Categorizing Error Spaces using {BMC} and {SMT}},
   booktitle = {Proceedings of the {\it 9^{th}} International Workshop on
	Satisfiability Modulo Theories (SMT '11)},
   month = jul,
   year = {2011},
   note = {Snowbird, Utah},
   url = {http://www.cs.nyu.edu/~barrett/pubs/KB11.pdf}
}

(This webpage was created with bibtex2web.)