Decidability of Parameterized Verification
BücherAngebote / Angebote:
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
Folgt in ca. 15 Arbeitstagen