Handbook of Model Checking

ISBN: 9783319105741
Код товара 127473

Edmund M. Clarke; Thomas A. Henzinger; Helmut Veit

Handbook of Model Checking

Handbook of Model Checking

ISBN: 9783319105741
Код товара 127473

Нет в наличии

Когда книга появится на складе, напишем вам на почту
  • Автор

    Edmund M. Clarke; Thomas A. Henzinger; Helmut Veit

  • Издатель

    Springer

  • Тип обложки

    Hardcover

  • Размеры

    244 x 166 x 59

  • Год издания

    2018

  • Вес (г)

    2255

  • ISBN

    9783319105741

  • Язык

    ENG

  • Кол-во страниц

    1212

О чём книга?

Model checking is a computer-assisted method for the analysis of dynamical systems that can be modeled by state-transition systems. Drawing from research traditions in mathematical logic, programming languages, hardware design, and theoretical computer science, model checking is now widely used for the verification of hardware and software in industry. The editors and authors of this handbook are among the world's leading researchers in this domain, and the 32 contributed chapters present a thorough view of the origin, theory, and application of model checking.

In particular, the editors classify the advances in this domain and the chapters of the handbook in terms of two recurrent themes that have driven much of the research agenda: the algorithmic challenge, that is, designing model-checking algorithms that scale to real-life problems; and the modeling challenge, that is, extending the formalism beyond Kripke structures and temporal logic. The book will be valuable for researchers and graduate students engaged with the development of formal methods and verification tools.


Похожие книги
Atlas of Ultrasound and Anatomy
изд. 2024

Weiner Atlas of Ultrasound and Anatomy

  • изд. 2024

An anatomically-informed guide on the use of ultrasound to elevate facial rejuvenation outcomes

Facial injection requires in-depth understanding of clinically relevant underlying anatomy. Until the recent introduction of ultrasound into the medical aesthetics space, soft tissue filler and neurotoxin...

21 706 ₽
Womenвђ™s behavioral health
изд. 2024

Womenвђ™s behavioral health

  • изд. 2024
17 501 ₽
Modern cns drug discovery
изд. 2024

Modern cns drug discovery

  • изд. 2024
14 701 ₽
Essentials of orthopedic surgery
изд. 2024

Essentials of orthopedic surgery

  • изд. 2024
11 324 ₽
Practical general practice
изд. 2025

Practical general practice

  • изд. 2025
11 311 ₽