Unfoldings PDF Download

Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download Unfoldings PDF full book. Access full book title Unfoldings by Javier Esparza. Download full books in PDF and EPUB format.

Computers
2008-03-12 2008-03-12

Unfoldings

Author: Javier Esparza
Publisher: Springer Science & Business Media
ISBN: 3540774262
Category : Computers
Languages : en
Pages : 172

Get Book Here

Book 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.