Cover is for reference only

Model checking /

"An expanded and updated edition of a comprehensive presentation of the theory and practice of model checking, a technology that automates the analysis of complex systems"--Publisher's website.

Saved in:
Bibliographic Details
Main Authors: Clarke, Edmund M., Jr. Edmund Melson, 1945
Group Author: Grumberg, Orna; Kroening, Daniel; Peled, Doron; Veith, Helmut
Published: The MIT Press,
Publisher Address: Cambridge, Massachusetts :
Publication Dates: [2018]
Literature type: Book
Language: English
Edition: Second edition.
Series: The cyber-physical systems series
Subjects:
Computer systems > Verification
Summary: "An expanded and updated edition of a comprehensive presentation of the theory and practice of model checking, a technology that automates the analysis of complex systems"--Publisher's website.
Carrier Form: xx, 402 pages : illustrations ; 24 cm.
Bibliography: Includes bibliographical references (pages [367]-397) and index.
ISBN: 9780262038836
0262038838
Index Number: QA76
CLC: TP306
TP302.1
Call Number: TP302.1/C597/2nd ed.

Related Book Recommendations