Decidability Of Parameterized Verification
by Roderick Bloem /
2017 / English / PDF
1.4 MB Download
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