Handbook of Automated ReasoningHandbook of Automated ReasoningVolume 2, 2001, Pages 1635-1790Chapter 24 - Model CheckingAuthor links open overlay panelEdmund M. Clarke, Bernd-Holger SchlingloffShow moreOutlineShareCitehttps://doi.org/10.1016/B978-044450813-3/50026-6Get rights and contentFirst page previewClick to open first page previewView PDFRecommended articlesReferences (0)Cited by (0)View full textCopyright © 2001 Elsevier Science Publishers B.V. All rights reserved.