Exploring and categorizing error spacing using BMC and SMT

Tim King, Clark Barrett

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish (US)
Title of host publicationProceedings of the 9th international workshop on satisfiability modulo theories, July 2011, Snowbird, Utah, (SMT '11)
Place of PublicationSnowbird, Utah
StatePublished - Jul 2011

Cite this

King, T., & Barrett, C. (2011). Exploring and categorizing error spacing using BMC and SMT. In Proceedings of the 9th international workshop on satisfiability modulo theories, July 2011, Snowbird, Utah, (SMT '11)