Deductive Software Verification - The KeY Book

Name: Deductive Software Verification - The KeY Book
Brand: Springer International Publishing AG
SKU: 9783319498119
Price: 126.19 EUR
Availability: InStock

From Theory to Practice

Автор: Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich

Език:

Корици: С меки корици

Издател: Springer International Publishing AG

Наличност: Външен склад

Изпращаме след 5-8 дни

126.19 € 246.81 лв

Mechanized verification has a distinguished history, as well and this is not a place to trace it. It...

Информация за книгата

Автор

Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich

Език

Английски език

Корици

Книга - С меки корици

Издадена

2016

страници

702

EAN

9783319498119

ISBN

3319498118

Enbook ID

15195022

Издател

Springer International Publishing AG

Теглоt

1095

Размери

155 x 235 x 40

Пълно описание

Mechanized verification has a distinguished history, as well and this is not a place to trace it. It suffices to say that the KeY project, the subject of this book, is possibly the most ambitious endeavour in this area. It has started in 1998 and gradually evolved into, what the authors call, the KeY framework. This framework goes beyond mechanized verification by also providing a means of program specification, a test case generation, a teaching tool for a number of courses on Software Engineering, and a debugging tool. The current book is a substantial revision and extension of the previous edition that takes into account this evolution of the KeY system. It systematically explains several facets of the KeY framework, starting with the theoretical underpinning and ending with a presentation of nontrivial case studies.

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Deductive Software Verification - The KeY Book

From Theory to Practice

Информация за книгата

Пълно описание

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също