Decidability of Parameterized Verification

by Igor Konnov, Ayrat Khalimov, Roderick Bloem, et al.

While the classic model checking problem is to decide whether a finite system satisfies a specification, the goal of parameterized model checking is to decide, given finite systems ����(n) parameterized by n ∈ ℕ, whether, for all n ∈ ℕ, the system ����(n) satisfies a specification. In this book we consider the important case of ����(n) being...

• Format: Paperback
• Language: English
• ISBN: 3031008839
• ISBN13: 9783031008832
• Release Date: September 2015
• Publisher: Springer
• Length: 158 Pages
• Weight: 0.67 lbs.
• Dimensions: 0.4" x 7.5" x 9.3"