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.


Похожие книги
Alzheimer'S Disease And Advanced Drug Delivery Strategies
изд. 2023

Prajapati,Bhupendra Alzheimer'S Disease And Advanced Drug Delivery Strategies

  • изд. 2023
20 518 ₽
В корзину
Educational Practices In Human Services Organizations
изд. 2023

Maguire,Helena Educational Practices In Human Services Organizations

  • изд. 2023
17 609 ₽
В корзину
Epilepsy Surgery: Paradigm Shifts, An Issue Of Neurosurgery Clinics Of North America,35-1
изд. 2023

Yang,Jimmy Epilepsy Surgery: Paradigm Shifts, An Issue Of Neurosurgery Clinics Of North America,35-1

  • изд. 2023
16 344 ₽
В корзину
Multiple Sclerosis, An Issue Of Neurologic Clinics,42-1
изд. 2023

Hersh,Carrie M. Multiple Sclerosis, An Issue Of Neurologic Clinics,42-1

  • изд. 2023
11 655 ₽
В корзину
Malunions And Nonunions In The Forearm, Wrist, And Hand, An Issue Of Hand Clinics,40-1
изд. 2023

Huang,Jerry I. Malunions And Nonunions In The Forearm, Wrist, And Hand, An Issue Of Hand Clinics,40-1

  • изд. 2023
12 861 ₽
В корзину
Intraoperative Challenges, An Issue Of Orthopedic Clinics,55-1
изд. 2023

Azar,Frederick M. Intraoperative Challenges, An Issue Of Orthopedic Clinics,55-1

  • изд. 2023
12 861 ₽
В корзину
Disorders Of Consciousness, An Issue Of Physical Medicine And Rehabilitation Clinics Of North America,35-1
изд. 2023

Kothari,Sunil Disorders Of Consciousness, An Issue Of Physical Medicine And Rehabilitation Clinics Of North America,35-1

  • изд. 2023
11 655 ₽
В корзину
Pediatric Facial Plastic And Reconstructive Surgery, An Issue Of Facial Plastic Surgery Clinics Of North America,32-1
изд. 2023

Tatum,Sherard A. Pediatric Facial Plastic And Reconstructive Surgery, An Issue Of Facial Plastic Surgery Clinics Of North America,32-1

  • изд. 2023
14 067 ₽
В корзину
Global Oncology: Disparities, Outcomes And Innovations Around The Globe, An Issue Of Hematology/Oncology Clinics Of North America,38-1
изд. 2023

Chamberlin,Mary D. Global Oncology: Disparities, Outcomes And Innovations Around The Globe, An Issue Of Hematology/Oncology Clinics Of North America,38-1

  • изд. 2023
12 861 ₽
В корзину
Psychiatric And Behavioral Emergencies, An Issue Of Emergency Medicine Clinics Of North America,42-1
изд. 2023

Baker,Eileen F. Psychiatric And Behavioral Emergencies, An Issue Of Emergency Medicine Clinics Of North America,42-1

  • изд. 2023
12 861 ₽
В корзину
Hot Topics In Cosmetic Dermatology, An Issue Of Dermatologic Clinics,42-1
изд. 2023

Galadari,Hassan Hot Topics In Cosmetic Dermatology, An Issue Of Dermatologic Clinics,42-1

  • изд. 2023
12 861 ₽
В корзину
Prostate Imaging, An Issue Of Radiologic Clinics Of North America,62-1
изд. 2023

Schieda,Nicola Prostate Imaging, An Issue Of Radiologic Clinics Of North America,62-1

  • изд. 2023
15 138 ₽
В корзину
Thyroid And Parathyroid Disease, An Issue Of Otolaryngologic Clinics Of North America,57-1
изд. 2023

Chen,Amy Y. Thyroid And Parathyroid Disease, An Issue Of Otolaryngologic Clinics Of North America,57-1

  • изд. 2023
11 655 ₽
В корзину
Cardiovascular Intensive Care, An Issue Of Critical Care Clinics,40-1
изд. 2023

Hollenberg,Steven Cardiovascular Intensive Care, An Issue Of Critical Care Clinics,40-1

  • изд. 2023
9 377 ₽
В корзину
Controversial Topics In Oral And Maxillofacial Surgery, An Issue Of Dental Clinics Of North America,68-1
изд. 2023

Dym,Harry Controversial Topics In Oral And Maxillofacial Surgery, An Issue Of Dental Clinics Of North America,68-1

  • изд. 2023
11 655 ₽
В корзину
Adolescent Undiagnosed And Rare Diseases, An Issue Of Medical Clinicsof North America,108-1
изд. 2023

Toth,Heather Adolescent Undiagnosed And Rare Diseases, An Issue Of Medical Clinicsof North America,108-1

  • изд. 2023
10 449 ₽
В корзину
Novel Non-Pharmacological Approaches To Heart Failure, An Issue Of Heart Failure Clinics,20-1
изд. 2023

Rao,Vijay Novel Non-Pharmacological Approaches To Heart Failure, An Issue Of Heart Failure Clinics,20-1

  • изд. 2023
10 449 ₽
В корзину
Advances In Organ-Specific Pet Instrumentation And Their Clinical Andresearch Applications, An Issue Of Pet Clinics,19-1
изд. 2023

Alavi,Abass Advances In Organ-Specific Pet Instrumentation And Their Clinical Andresearch Applications, An Issue Of Pet Clinics,19-1

  • изд. 2023
9 377 ₽
В корзину
Body Contouring, An Issue Of Clinics In Plastic Surgery,51-1
изд. 2023

Hurwitz,Dennis J Body Contouring, An Issue Of Clinics In Plastic Surgery,51-1

  • изд. 2023
14 067 ₽
В корзину
Management Of Obesity, Part 2: Treatment Strategies, An Issue Of Gastroenterology Clinics Of North America,52-4
изд. 2023

Kaplan,Lee M. Management Of Obesity, Part 2: Treatment Strategies, An Issue Of Gastroenterology Clinics Of North America,52-4

  • изд. 2023
11 655 ₽
В корзину
Наверх