Swen Jacobs – författare

Visar alla böcker från författaren Swen Jacobs. Handla med fri frakt och snabb leverans.

2 produkter

1. 

   Decidability of Parameterized Verification

   Av Roderick Bloem, Swen Jacobs m. fl.

   Häftad, 2015

   512 kr

   Lägg i varukorg

   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. In this book we …

2. 

   Decidability of Parameterized Verification

   Av Igor Konnov, Ayrat Kalimov m. fl.

   E-bok, 2022

   657 kr

   Lägg i varukorg

   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. In this book we …