Description |
1 online resource (xii, 169 pages) : illustrations |
Series |
Monographs in theoretical computer science: an EATCS series, 1431-2654 |
|
Monographs in theoretical computer science.
|
Contents |
Introduction; Transition Systems and Products; Unfolding Products; Search Procedures for the Executability Problem; More on the Executability Problem; Search Procedures for the Repeated Executability Problem; Search Procedures for the Livelock Problem; Model Checking LTL; Summary, Applications, Extensions, and Tools |
Summary |
"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."--Jacket |
Bibliography |
Includes bibliographical references (pages 157-164) and index |
Notes |
English |
|
Print version record |
Subject |
Computer software -- Testing
|
|
Computer systems -- Verification.
|
|
COMPUTERS -- Software Development & Engineering -- Quality Assurance & Testing.
|
|
Computer software -- Testing.
|
|
Computer systems -- Verification.
|
|
Informatique.
|
|
Computer software -- Testing
|
|
Computer systems -- Verification
|
|
Verificatie.
|
|
Structurele vergelijkingen.
|
Form |
Electronic book
|
Author |
Heljanko, Keijo.
|
ISBN |
9783540774266 |
|
3540774262 |
|
9783540774259 |
|
3540774254 |
|