Unfoldings

Released on by Javier Esparza
preview-18

  • Unfoldings Book Detail

  • Author : Javier Esparza
  • Release Date : 2008-03-12
  • Publisher : Springer Science & Business Media
  • Genre : Computers
  • Pages : 172
  • ISBN 13 : 3540774262
  • File Size : 49,49 MB
DOWNLOAD BOOK

Unfoldings by Javier Esparza PDF Summary

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.

Disclaimer: www.yourbookbest.com does not own Unfoldings books pdf, neither created or scanned. We just provide the link that is already available on the internet, public domain and in Google Drive. If any way it violates the law or has any issues, then kindly mail us via contact us page to request the removal of the link.

Unfoldings

Unfoldings

File Size : 99,99 MB
Total View : 4271 Views
DOWNLOAD

In this book the authors introduce unfoldings, an approach to model checking which alleviates the state explosion problem by means of concurrency theory. They o