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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
