Unfoldings: A Partial-Order Approach to Model Checking

by

Write The First Customer Review

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.

Unfoldings: A Partial-Order Approach to Model Checking 2010, Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Berlin

ISBN-13: 9783642096051

Paperback

Select
Unfoldings: A Partial-Order Approach to Model Checking 2008, Springer, Berlin, Germany

ISBN-13: 9783540774259

2008 edition

Hardcover

Select