Verification, Model Checking, and Abstract Interpretation, Deepak D`Souza; Akash Lal; Kim Guldstrand Larsen

Автор: 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.

Автор: Anne Remke; Mari?lle Stoelinga
Название: Stochastic Model Checking
ISBN: 3662454882 ISBN-13(EAN): 9783662454886
Издательство: Springer
Рейтинг:
Цена: 6708.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

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

Автор: 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.

Автор: 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.

Автор: 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.

Автор: Doron A. Peled; M.J. Wooldridge
Название: Model Checking and Artificial Intelligence
ISBN: 364200430X ISBN-13(EAN): 9783642004308
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed post-workshop proceedings of the 5th Workshop on Model Checking and Artificial Intelligence, MOCHART 2008, held in Patras, Greece, in July 2008 as a satellite event of ECAI 2008, the 18th biannual European conference on Artificial Intelligence.

Автор: Klaus Havelund; John Penix; Willem Visser
Название: SPIN Model Checking and Software Verification
ISBN: 3540410309 ISBN-13(EAN): 9783540410300
Издательство: Springer
Рейтинг:
Цена: 11179.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The SPIN model checker is one of the most powerful systems of this kind and has attracted a large user community. This text is devoted to automata-based explicit-state model checking technologies for the analysis and verification of asynchronous concurrent and distributed systems.