Model Checking Software, Dragan Bo?na?ki; Anton Wijs

Автор: Ezio Bartocci; C. R. Ramakrishnan
Название: Model Checking Software
ISBN: 3642391753 ISBN-13(EAN): 9783642391750
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 20th International Symposium on Model Checking Software, SPIN 2013, held in Stony Brook, NY, USA, in July 2013. The 18 regular papers, 2 tool demonstration papers, and 2 invited papers were carefully reviewed and selected from 40 submissions.

Автор: Klaus Havelund; Rupak Majumdar; Jens Palsberg
Название: Model Checking Software
ISBN: 3540851135 ISBN-13(EAN): 9783540851134
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed proceedings of the 15th International SPIN workshop on Model Checking Software, SPIN 2008, held in Los Angeles, CA, USA, in August 2008. The main focus of the workshop series is software systems, including models and programs.

Автор: Bernd Fischer; Jaco Geldenhuys
Название: Model Checking Software
ISBN: 331923403X ISBN-13(EAN): 9783319234038
Издательство: Springer
Рейтинг:
Цена: 7826.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 22nd International Symposium on Model Checking Software, SPIN 2015, held in Stellenbosch, South Africa, in August 2015. The 18 papers presented - 14 regular papers and 4 tool or new idea papers - were carefully reviewed and selected from 27 submissions.

Автор: Gilles Barthe; Manuel Hermenegildo
Название: Verification, Model Checking, and Abstract Interpretation
ISBN: 3642113184 ISBN-13(EAN): 9783642113185
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume contains the proceedings of the 11th International Conference on Veri?cation, Model Checking, and Abstract Interpretation (VMCAI 2010), held in Madrid, Spain, January 17-19, 2010.

Автор: Deepak D`Souza; Akash Lal; Kim Guldstrand Larsen
Название: Verification, Model Checking, and Abstract Interpretation
ISBN: 3662460807 ISBN-13(EAN): 9783662460801
Издательство: Springer
Рейтинг:
Цена: 8944.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The papers cover a wide range of topics including program verification, model checking, abstract interpretation, abstract domains, program synthesis, static analysis, deductive methods, program certification, error diagnosis, program transformation, and hybrid and cyberphysical systems.

Автор: Kenneth McMillan; Xavier Rival
Название: Verification, Model Checking, and Abstract Interpretation
ISBN: 3642540120 ISBN-13(EAN): 9783642540127
Издательство: Springer
Рейтинг:
Цена: 9783.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The papers cover a wide range of topics including program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type systems, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems.

Автор: Edmund M. Clarke; Thomas A. Henzinger; Helmut Veit
Название: Handbook of Model Checking
ISBN: 3319105744 ISBN-13(EAN): 9783319105741
Издательство: Springer
Рейтинг:
Цена: 15372.00 р.
Наличие на складе: Поставка под заказ.

Описание: 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.

Автор: Ahmed Bouajjani; David Monniaux
Название: Verification, Model Checking, and Abstract Interpretation
ISBN: 3319522337 ISBN-13(EAN): 9783319522333
Издательство: Springer
Рейтинг:
Цена: 11179.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: VMCAI provides topics including: program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type systems, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems.