Decidability of Parameterized Verification

Decidability of Parameterized Verification 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 ? N, whether, for all n ? N, the system ????(n) satisfies a specification. Autor: Roderick Bloem, Swen Jacobs Wydawnictwo: Springer Rok wydania: 2015 Okładka: miękka Liczba stron: 158 Wymiary: 23.5 x 19.1 cm Ilustracje: XI, 158 p. Język: angielski ISBN: 9783031008832