LIBROS DEL AUTOR: swen jacobs

1 resultados para LIBROS DEL AUTOR: swen jacobs

swen jacobs Eliminar filtro Quitar filtros
  • Decidability of Parameterized Verification
    Ayrat Kalimov / Roderick Bloem / Swen Jacobs
    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 consider the important case of ����(n) being a concurrent system, where the numbe...
    Disponible

    69,38 €