Ebooks

Principles of Model Checking~tqw~ darksiderg

• 
• 
• Rate this torrent +  |  -

Torrent info

Torrent Files List

Torrent description

*******************************************************************************
Principles of Model Checking
*******************************************************************************

-------------------------------------------------------------------------------
General Information
-------------------------------------------------------------------------------
Type.................: Ebook
Part Size............: 17,912,197 bytes




-------------------------------------------------------------------------------
Post Information
-------------------------------------------------------------------------------
Posted by............: ~tqw~

-------------------------------------------------------------------------------
Release Notes
-------------------------------------------------------------------------------
Our growing dependence on increasingly complex computer and software systems
necessitates the development of formalisms, techniques, and tools for assessing
functional properties of these systems. One such technique that has emerged in
the last twenty years is model checking, which systematically (and
automatically) checks whether a model of a given system satisfies a desired
property such as deadlock freedom, invariants, or request-response properties.
This automated technique for verification and debugging has developed into a
mature and widely used approach with many applications. Principles of Model
Checking offers a comprehensive introduction to model checking that is not only
a text suitable for classroom use but also a valuable reference for researchers
and practitioners in the field.

The book begins with the basic principles for modeling concurrent and
communicating systems, introduces different classes of properties (including
safety and liveness), presents the notion of fairness, and provides automata-
based algorithms for these properties. It introduces the temporal logics LTL and
CTL, compares them, and covers algorithms for verifying these logics, discussing
real-time systems as well as systems subject to random phenomena. Separate
chapters treat such efficiency-improving techniques as abstraction and symbolic
manipulation. The book includes an extensive set of examples (most of which run
through several chapters) and a complete set of basic results accompanied by
detailed proofs. Each chapter concludes with a summary, bibliographic notes, and
an extensive list of exercises of both practical and theoretical nature.

Table Of Contents

Foreword xiii
Preface xv
1 System Verification 1
2 Modelling Concurrent Systems 19
3 Linear-Time Properties 89
4 Regular Properties 151
5 Linear Temporal Logic 229
6 Computation Tree Logic 313
7 Equivalences and Abstraction 449
8 Partial Order Reduction 595
9 Timed Automata 673
10 Probabilistic Systems 745
A Appendix: Preliminaries 909
Bibliography 931
Index 965

Product Details

* ISBN: 026202649X
* ISBN-13: 9780262026499
* Format: Hardcover, 975pp
* Publisher: MIT Press
* Pub. Date: May 2008

-------------------------------------------------------------------------------
Install Notes
-------------------------------------------------------------------------------
PDF Reader

related torrents