Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
Principles of Model Checking

Buy
Principles of Model Checking, 9780262026499 (026202649X), MIT Press, 2008
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.

About the Author

Christel Baier is Professor and Chair for Algebraic and Logical Foundations of Computer Science in the Faculty of Computer Science at the Technical University of Dresden.

Joost-Pieter Katoen is Professor at the RWTH Aachen University and leads the Software Modeling and Verification Group within the Department of Computer Science. He is affiliated with the Formal Methods and Tools Group at the University of Twente.
(HTML tags aren't allowed.)

Introduction to Probability with Statistical Applications
Introduction to Probability with Statistical Applications
This book provides a calculus-based introduction to probability and statistics. It contains enough material for two semesters but, with judicious selection, it can be used as a textbook for a one-semester course, either in probability and statistics or in probability alone.

Each section contains many examples and exercises and, in the
...
Apache Spark Deep Learning Cookbook: Over 80 recipes that streamline deep learning in a distributed environment with Apache Spark
Apache Spark Deep Learning Cookbook: Over 80 recipes that streamline deep learning in a distributed environment with Apache Spark

A solution-based guide to put your deep learning models into production with the power of Apache Spark

Key Features

  • Discover practical recipes for distributed deep learning with Apache Spark
  • Learn to use libraries such as Keras and TensorFlow
  • Solve...
Beginning GIMP: From Novice to Professional, Second Edition
Beginning GIMP: From Novice to Professional, Second Edition
From first installation to advanced image manipulation techniques, Beginning GIMP: From Novice to Professional, Second Edition explains how anyone can utilize The GIMP: a free, open source image manipulation program. You will learn how to install The GIMP on Windows, Linux, and MacOS X platforms. Once you’ve installed the...

Information and Management Systems for Product Customization
Information and Management Systems for Product Customization
In this book, the results from a multi-year research project on the
“Modeling, Planning, and Assessment of Business Transformation Processes
in the Area of Mass Customization” are published. Among other topics, we
analyze information and production systems for mass customization and we
also develop steering and
...
Visual Studio 2010 Best Practices
Visual Studio 2010 Best Practices
When you are developing on the Microsoft platform, Visual Studio 2010 offers you a range of powerful tools and makes the entire process easier and faster. After learning it, if you think that you can sit back and relax, you cannot be further away from truth. To beat the crowd, you need to be better than others, learn tips and...
Sams Teach Yourself MySQL in 21 Days
Sams Teach Yourself MySQL in 21 Days
Sams Teach Yourself MySQL in 21 Days teaches you to design and implement your own open source database. Topics include: Designing and Creating your First Database, Normalizing your Data, Adding Tables, Columns, and Indexes, MySQL Data Types, Importing and Exporting Data, Locks and Keys, Building a MyODBC Interface, Building a Perl Interface,...
©2019 LearnIT (support@pdfchm.net) - Privacy Policy