Standard Article

Model Checking

  1. Doron Peled1,2,
  2. Patrizio Pelliccione3,
  3. Paola Spoletini4

Published Online: 16 MAR 2009

DOI: 10.1002/9780470050118.ecse247

Wiley Encyclopedia of Computer Science and Engineering

Wiley Encyclopedia of Computer Science and Engineering

How to Cite

Peled, D., Pelliccione, P. and Spoletini, P. 2009. Model Checking. Wiley Encyclopedia of Computer Science and Engineering. 1904–1920.

Author Information

  1. 1

    University of Warwick Coventry, Department of Computer Science, United Kingdom

  2. 2

    Bar Ilan University, Department of Computer Science, Ramat Gan, Israel

  3. 3

    Universitá dell'Aquila Via Vetoio, Dipartimento di Informatica, L'Aquila, Italy

  4. 4

    Universitá dell'Insubria Via Valleggio, Dipartimento della Cultura Politiche e dell'Informazione, Como, Italy

Publication History

  1. Published Online: 16 MAR 2009

Options for accessing this content:

  • If you have access to this content through a society membership, please first log in to your society website.
  • Login via other institutional login options http://onlinelibrary.wiley.com/login-options.
  • You can purchase online access to this Article for a 24-hour period (price varies by title)
    • If you already have a Wiley Online Library or Wiley InterScience user account: login above and proceed to purchase the article.
    • New Users: Please register, then proceed to purchase the article.

Login via OpenAthens

or

Search for your institution's name below to login via Shibboleth.

Please register to:

  • Save publications, articles and searches
  • Get email alerts
  • Get all the benefits mentioned below!

Register now >