Verification, Model Checking, and Abstract Interpretation, Constantin Enea; Ruzica Piskac

Автор: Barbara Jobstmann; K. Rustan M. Leino
Название: Verification, Model Checking, and Abstract Interpretation
ISBN: 3662491214 ISBN-13(EAN): 9783662491218
Издательство: Springer
Рейтинг:
Цена: 67080.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 17th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2016, held in St. Petersburg, FL, USA, in January 2016.

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

Автор: Finkbeiner Bernd, Wies Thomas
Название: Verification, Model Checking, and Abstract Interpretation: 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proc
ISBN: 3030945820 ISBN-13(EAN): 9783030945824
Издательство: Springer
Рейтинг:
Цена: 83850.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 23rd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2022, which took place in Philadelphia, PA, USA, in January 2022. The 22 papers presented in this volume were carefully reviewed from 48 submissions. VMCAI provides a forum for researchers working on verification, model checking, and abstract interpretation and facilitates interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas.

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

Автор: Henglein Fritz, Shoham Sharon, Vizel Yakir
Название: Verification, Model Checking, and Abstract Interpretation: 22nd International Conference, Vmcai 2021, Copenhagen, Denmark, January 17-19, 2021, Procee
ISBN: 303067066X ISBN-13(EAN): 9783030670665
Издательство: Springer
Цена: 105590.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 22nd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2021, which was held virtually during January 17-19, 2021.

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

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

Автор: Dillig
Название: Verification, Model Checking, and Abstract Interpretation
ISBN: 3319737201 ISBN-13(EAN): 9783319737201
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: ​Program verification.- Model checking.- Abstract interpretation.- Program synthesis.- Static analysis.- Type systems.- Deductive methods.- Program certification.- Decision procedures.- Theorem proving.- Program certification.- Debugging techniques.- Program transformation.- Optimization.- Hybrid and cyber-physical systems.

Автор: Roberto Giacobazzi; Josh Berdine; Isabella Mastroe
Название: Verification, Model Checking, and Abstract Interpretation
ISBN: 3642358721 ISBN-13(EAN): 9783642358722
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 14th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2013, held in Rome, Italy, in January 2013, co-located with the Symposium on Principles of Programming Languages, POPL 2013.

Автор: Beyer Dirk, Zufferey Damien
Название: Verification, Model Checking, and Abstract Interpretation: 21st International Conference, Vmcai 2020, New Orleans, La, Usa, January 16-21, 2020, Proce
ISBN: 3030393216 ISBN-13(EAN): 9783030393212
Издательство: Springer
Рейтинг:
Цена: 74530.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 21st International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2020.

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

Автор: Anne Remke; Mari?lle Stoelinga
Название: Stochastic Model Checking
ISBN: 3662454882 ISBN-13(EAN): 9783662454886
Издательство: Springer
Рейтинг:
Цена: 44720.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The use of stochastic models in computer science is wide spread, for instance in performance modeling, analysis of randomized algorithms and communication protocols which form the structure of the Internet.