Swen Jacobs - Böcker
Visar alla böcker från författaren Swen Jacobs. Handla med fri frakt och snabb leverans.
1 produkt
1 produkt
497 kr
Skickas inom 10-15 vardagar
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.