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.
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...
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 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
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 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,...