@inproceedings{SB06,
  author    = "Nikhil Sethi and Clark Barrett",
  title     = "{CASCADE}: C Assertion Checker and Deductive Engine",
  booktitle = "Proceedings of the $18^{th}$ International Conference on Computer Aided Verification (CAV '06)",
  series    = "Lecture Notes in Computer Science",
  volume    = 4144,
  publisher = "Springer-Verlag",
  editor    = "Thomas Ball and Robert B. Jones",
  pages     = "166--169",
  month     = aug,
  year      = 2006,
  note      = "Seattle, Washington"
}