ORPP logo
Image from Google Jackets

Principles of Model Checking.

By: Contributor(s): Material type: TextTextSeries: The MIT Press SeriesPublisher: Cambridge : MIT Press, 2008Copyright date: ©2008Edition: 1st edDescription: 1 online resource (994 pages)Content type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9780262267564
Subject(s): Genre/Form: Additional physical formats: Print version:: Principles of Model CheckingDDC classification:
  • 004.2/4
LOC classification:
  • QA76.76.V47B35 2008
Online resources:
Contents:
Intro -- Contents -- Foreword -- Preface -- Chapter 1 System Verification -- Chapter 2 Modelling Concurrent Systems -- Chapter 3 Linear-Time Properties -- Chapter 4 Regular Properties -- Chapter 5 Linear Temporal Logic -- Chapter 6 Computation Tree Logic -- Chapter 7 Equivalences and Abstraction -- Chapter 8 Partial Order Reduction -- Chapter 9 Timed Automata -- Chapter 10 Probabilistic Systems -- Appendix A Appendix: Preliminaries -- Bibliography -- Index.
Summary: A comprehensive introduction to the foundations of model checking, a fully automated technique for finding flaws in hardware and software; with extensive examples and both practical and theoretical exercises.
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)
No physical items for this record

Intro -- Contents -- Foreword -- Preface -- Chapter 1 System Verification -- Chapter 2 Modelling Concurrent Systems -- Chapter 3 Linear-Time Properties -- Chapter 4 Regular Properties -- Chapter 5 Linear Temporal Logic -- Chapter 6 Computation Tree Logic -- Chapter 7 Equivalences and Abstraction -- Chapter 8 Partial Order Reduction -- Chapter 9 Timed Automata -- Chapter 10 Probabilistic Systems -- Appendix A Appendix: Preliminaries -- Bibliography -- Index.

A comprehensive introduction to the foundations of model checking, a fully automated technique for finding flaws in hardware and software; with extensive examples and both practical and theoretical exercises.

Description based on publisher supplied metadata and other sources.

Electronic reproduction. Ann Arbor, Michigan : ProQuest Ebook Central, 2024. Available via World Wide Web. Access may be limited to ProQuest Ebook Central affiliated libraries.

There are no comments on this title.

to post a comment.

© 2024 Resource Centre. All rights reserved.