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 are a society or association member and require assistance with obtaining online access instructions please contact our Journal Customer Services team.
    http://wiley.force.com/Interface/ContactJournalCustomerServices_V2.
  • 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 >