English
Deutsch
Français
简体中文
繁體中文
Categories
Study
Novel
Nonfiction
Health
Tutorial
Entertainment
Business
Magazine
Arts & Design
Audiobooks & Video Training
Cultures & Languages
Family & Home
Law & Politics
Lyrics & Music
Software Related
eBook Torrents
Uncategorized
Share With Friends
Archive by Date
2012-08-05
2012-08-04
2012-08-03
2012-08-02
2012-08-01
2012-07-31
2012-07-30
2012-07-29
2012-07-28
Search Tag
Newest
Methods for Finding Zeros in Polynomials
Lectures on Stochastic Flows and Applications
Educational Psychology by Edward L. Thorndike
The Last Days of Tolstoy by V. G. Chertkov
Globalization and Responsibility
Lectures on Siegel Modular Forms and Representation by Quadratic Forms
Lectures on Topics In One-Parameter Bifurcation Problems
History of the Incas by Pedro Sarmiento de Gamboa
Linear Algebra: Theorems and Applications
Lectures on Stochastic Differential Equations and Malliavin Calculus
A Short Biographical Dictionary of English Literature
Lectures on Sieve Methods and Prime Number Theory
Dollars and Sense by William Crosbie Hunter
The Theory of the Theatre by Clayton Hamilton
The Mathematics of Investment
Occupiers of Wall Street: Losers or Game Changers
The Solution of the Pyramid Problem
Lectures on Moduli of Curves
Walden by Henry David Thoreau
Useful Links
Unfoldings: A Partial-Order Approach to Model Checking
Posted on 2010-03-15
|  |
More Javier Esparza, Keijo Heljanko “ " Model checking is a prominent technique used in the hardware and software industries for automatic verification. While it is very successful in finding subtle bugs in distributed systems, it faces the state explosion problem - the number of reachable states grows exponentially in the number of concurrent components. 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 a gentle introduction to the basics of the method, and in particular they detail an unfolding-based algorithm for model checking concurrent systems against properties specified as formulas of linear temporal logic (LTL). Self-contained chapters cover transition systems and their products; unfolding products; search procedures for basic verification problems, such as reachability and livelocks; and model checking LTL. The final chapter summarizes the results of the book, and points the reader to tools and case studies. The book will be of value to researchers and graduate students engaged in automatic verification and concurrency theory. "
Rating:
2.5 out of 5 by Book123 |
| Download Links | |
| Server | Status |
|---|---|
| Direct Download Link 1 | Alive |
| Direct Download Link 2 | Alive |
| depositfiles.com | Alive |
| easy-share | Alive |
| Download Link (Download Link 1) | Alive |
|
Buy This Book at Best Price >> | |
Related Articles
 | Programming Abstraction Refinement for Large Scale Model Checking Chao Wang , Gary D. Hachtel , Fabio Somenzi , "Abstraction Refinement for Large Scale Model Checking "Springer; 1 edition (July 20, 2006) | ISBN: 0387341552 | 186 pages | PDF | 6,9 MbAbstraction Refinement for Large Scale Model Checking su ... |
| Technical Abstraction Refinement for Large Scale Model Checking (Series on Integrated Circuits and Systems) Publisher: Springer; 1 editionLanguage: EnglishISBN: 0387341552Paperback: 1061 pagesData: July 20, 2006Format: PDFDescription: Abstraction Refinement for Large Scale Model Checking summarizes recent research on abstraction techniques for mo ... |
 | Model Checking Software Model Checking Software by Susanne Graf, Laurent MounierSpringer | ISBN 3540213147 | 2004 | PDF | 309 pages | 5.4 MbMirror -> Mirror -> Mirror: |
 | Programming Principles of Model Checking Christel Baier, Joost-Pieter Katoen “Principles of Model Checking" The MIT Press | 2008-05-31 | ISBN: 026202649X | 975 pages | PDF | 4,7 MB Rapidshare Mirror Rapidshare Mirror |
 | Science/Engineering Verification, Model Checking, and Abstract Interpretation Neil D. Jones, Markus Müller-Olm, "Verification, Model Checking, and Abstract Interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. " Springer | 2009-01-01 | ISBN: 3540938990 | 381 pages | PDF ... |
 | Science/Engineering 25 Years of Model Checking: History, Achievements, Perspectives 25 Years of Model Checking: History, Achievements, Perspectives Springer (July 18, 2008) | ISBN-10: 3540698493 | 231 pages | PDF | 40,1 MB Model checking technology is among the foremost applications of logic to computer science and compu ... |
Comments (0)
