Stock image for illustration purposes only - book cover, edition or condition may vary.
Unfoldings: A Partial-Order Approach to Model Checking (Monographs in Theoretical Computer Science. An EATCS Series)
Javier Esparza
€ 124.23
FREE Delivery in Ireland
Description for Unfoldings: A Partial-Order Approach to Model Checking (Monographs in Theoretical Computer Science. An EATCS Series)
Hardcover. Introduces unfoldings, an approach to model checking which alleviates the state explosion problem by means of concurrency theory. This book is suitable for researchers and graduate students engaged in automatic verification and concurrency theory. Series: Monographs in Theoretical Computer Science : An Eatcs Series. Num Pages: 184 pages, 51 black & white illustrations, 4 black & white tables, biography. BIC Classification: UMZT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 12. Weight in Grams: 450.
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.
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.
Product Details
Publisher
Springer
Format
Hardback
Publication date
2008
Series
Monographs in Theoretical Computer Science : An Eatcs Series
Condition
New
Weight
449g
Number of Pages
172
Place of Publication
Berlin, Germany
ISBN
9783540774259
SKU
V9783540774259
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Unfoldings: A Partial-Order Approach to Model Checking (Monographs in Theoretical Computer Science. An EATCS Series)
From the reviews: In this book the authors show that the study of `unfoldings', a mathematical formalism for the description and analysis of concurrent systems, alleviates the state explosion problem. ... Most of the chapters are self-contained in order to increase the readability of the content. ... The book provides a good ... Read more