Local cover image
Local cover image
Image from Google Jackets

Model checking Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled.

By: Contributor(s): Material type: TextTextPublication details: Cambridge, Mass. : MIT Press, ©1999.Description: 1 online resource (xiv, 314 pages) : illustrationsISBN:
  • 0585385580
  • 9780585385587
Subject(s): Genre/Form: Additional physical formats: Print version:: Model checking.DDC classification:
  • 004.21 C55M 23
Online resources:
Contents:
Modeling systems -- Trmporal logics -- Model checking -- Binary decision diagram -- Symbolic model checking -- Model checking for the u-calculus -- Model checking in practice -- Model checking and automata theory -- Partial order reduction -- Equivalences and preorders between structures -- Compositional reasoning -- Abstraction -- Symmetry -- Infinite families of finite-state systems -- Discrete real-time and quantitative temporal analysis -- Continuous real time.
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Collection Call number Status Notes Date due Barcode
Books Books Central Library, IISER Bhopal Reference Section Reference 004.21 C55M (Browse shelf(Opens below)) Not For Loan Reserve 8228

Includes bibliographical references (pages 297-307) and index.

Modeling systems -- Trmporal logics -- Model checking -- Binary decision diagram -- Symbolic model checking -- Model checking for the u-calculus -- Model checking in practice -- Model checking and automata theory -- Partial order reduction -- Equivalences and preorders between structures -- Compositional reasoning -- Abstraction -- Symmetry -- Infinite families of finite-state systems -- Discrete real-time and quantitative temporal analysis -- Continuous real time.

There are no comments on this title.

to post a comment.

Click on an image to view it in the image viewer

Local cover image


Contact for Queries: skpathak@iiserb.ac.in