Unfoldings: A Partial-Order Approach to Model Checking (2008) (Monographs in Theoretical Computer Science. An EATCS Series)

By: and

Sign Up Now! Already a Member? Log In
You must be logged into UK education collection to access this title. Learn about membership options, or view our freely available titles.

Synopsis
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.
Copyright:
2008

Book Details

Book Quality:
Publisher Quality
ISBN-13:
9783540774266
Related ISBNs:
9783540774259
Publisher:
Springer Berlin Heidelberg
Date of Addition:
Copyrighted By:
N/A
Adult content:
No
Language:
English
Has Image Descriptions:
No
Categories:
Nonfiction, Computers and Internet
Submitted By:
Bookshare Staff
Usage Restrictions:
This is a copyrighted book.

Reviews

No Rating Yet