ISBN: 9783319105741
Код товара 127473
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.
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.
Похожие книги
изд. 2024
K, Pushpalatha Bhat, Deepa Inderbir singh`s textbook of human histology, 11th edition
- изд. 2024
4 389 ₽
изд. 2024
Molina-Jimenez C. Fair Exchnge: Theory and Practice of Digital Belongings
- ENG
- изд. 2024
Fair Exchange is the first comprehensive work on the discipline of fair exchange. More and more of our lives are spent interacting digitally across fields such as payments, certified delivery, e-commerce and legal relations, and the importance of fair exchange is therefore growing rapidly. From the ...
14 256 ₽
изд. 2023
Tom Mannewitz , Wolfgang Rudzio The Political System of Germany
- ENG
- изд. 2023
The textbook introduces the self-understanding, institutional structure and practice of the political system of the Federal Republic of Germany. The work provides a problem-oriented overview of the basic constitutional and foreign policy decisions that have constituted German democracy; the politica...
12 577 ₽
изд. 2023
Barkin, J. Samuel International Organization Theories and Institutions, 3 ed.
- изд. 2023
9 083 ₽
изд. 2024
Matteo De Dona Science-Policy Interfaces in Global Environmental Governance
- изд. 2024
6 986 ₽
изд. 2024
Sebastiano Patti Circular Economy and Policy: Sustainability, Environmental, and Social Perspectives
- изд. 2024
13 974 ₽
изд. 2023
Mossa-Basha,Mahmud Vasculitis, An Issue Of Neuroimaging Clinics Of North America,34-1
- изд. 2023
12 820 ₽
изд. 2024
Gugliotti, Mark Makofsky, Howard W. / Марк Гульотти Makofsky's Spinal manual therapy
- изд. 2024
10 017 ₽
изд. 2023
Marcus, Paul Psychoanalysis and toileting
- GER
- изд. 2023
Psychoanalysis and Toileting is an accessible book that delineates and interprets the psychological meanings of defecating and urinating in everyday life. The book is illustrated throughout with clinical vignettes and observations taken from the author`s private practice.
4 355 ₽
изд. 2023
Punit S Bhojani Exam Preparatory Manual For Undergraduates Obstetrics & Gynecology
- изд. 2023
3 762 ₽
изд. 2024
Wilkinson, Erin Morford, Jill P. / Эрин Уилкинсон Understanding signed languages
- изд. 2024
5 226 ₽
Подпишись на рассылку
Подпишись на рассылку
Знание — сила
Обещаем делиться новинками, статьями, подборками и всем, что действительно важно
P.S. спамить — не в нашем стиле