Publications

Book

  • E.M.Clarke, O. Grumberg, D. Peled:
    “Model Checking”, MIT Press, December 1999.
    ISBN 0-262-03270-8

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


Surveys


Journals