Decidability of parameterized verification
Auteur :
Bloem, Roderick / Jacobs, Swen / Kalimov, Ayrat / Konnov, Igor
Éditeur :
Springer International Publishing AG
ISBN :
9783031008832
Date de publication :
29 sept. 2015
Dimensions :
23,5 x 19,1 cm
Langue :
Anglais
Pays d'origine :
Suisse
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.