Bibtex:

@incollection{k2007-sat,
  AUTHOR    = { Kroening, Daniel },
  TITLE     = { Software Verification },
  BOOKTITLE = { Handbook of Satisfiability },
  YEAR      = { 2009 },
  PUBLISHER = { IOS Press },
  PAGES     = { 505--532 },
  ISBN      = { 978-1-58603-929-5 },
  SERIES    = { Frontiers in Artificial Intelligence and Applications },
  MONTH     = { February },
  CHAPTER   = { 16 },
  EDITOR    = { Biere, Armin and Heule, Marijn J. H. and van Maaren, Hans and Walsh, Toby },
}

We welcome feedback and comments at kroening@cs.cmu.edu.
Last modified by Daniel Kröning.