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
Publication statusPublished - 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) Snowbird, Utah.