Unfoldings : a partial-order approach to model checking
Author(s)
Bibliographic Information
Unfoldings : a partial-order approach to model checking
（Monographs in theoretical computer science : an EATCS series）
Springer, c2008
- hbk.
- pbk.
Available at / 8 libraries
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references and index
Description and Table of Contents
Description
In this book the authors introduce unfoldings, an approach to model checking which alleviates the state explosion problem by means of concurrency theory. They offer an introduction to the basics of the method and detail an unfolding-based algorithm for model checking concurrent systems against properties specified as formulas of linear temporal logic (LTL). The book will be of value to researchers and graduate students engaged in automatic verification and concurrency theory.
Table of Contents
Transition Systems and Products.- Unfolding Products.- Search Procedures for the Executability Problem.- More on the Executability Problem.- Search Procedures for the Repeated Executability Problem.- Search Procedures for the Livelock Problem.- Model Checking LTL.- Summary, Applications, Extensions, and Tools.
by "Nielsen BookData"