Publications

Book

  • E.M.Clarke, O. Grumberg, D. Peled:
    “Model Checking”, MIT Press, December 1999.
    ISBN 0-262-03270-8
  • E.M.Clarke, O. Grumberg, D. Kroening, D. Peled, H. Veith:
    “Model Checking, Second Edition”, MIT Press, December 2018.
    ISBN 9780262038836

Publications related to static analysis, abstraction, and modularity in model checking
(Not updated and not exhaustive)


Surveys


Journals