Cantitate/Preț
Produs

Deductive Software Verification – The KeY Book: From Theory to Practice (Lecture Notes in Computer Science, nr. 10001)

Editat de Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich
Notă GoodReads:
en Limba Engleză Carte Paperback – 21 Dec 2016
Static analysis of software with deductive methods is a highly dynamic field
of research on the verge of becoming a mainstream technology in software
engineering. It consists of a large portfolio of - mostly fully automated -
analyses: formal verification, test generation, security analysis,
visualization, and debugging. All of them are realized in the state-of-art
deductive verification framework KeY.


This book is the definitive guide to KeY that lets you explore the full
potential of deductive software verification in practice. It contains the
complete theory behind KeY for active researchers who want to understand it in
depth or use it in their own work. But the book also features fully
self-contained chapters on the Java Modeling Language and on Using KeY that
require nothing else than familiarity with Java. All other chapters are
accessible for graduate students (M.Sc. level and beyond).<
<
The KeY framework is free and open software, downloadable from the book
companion website which contains also all code examples mentioned in this
book.

Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 34149 lei

Preț vechi: 42687 lei
-20%

Puncte Express: 512

Preț estimativ în valută:
7072 8475$ 6277£

Carte tipărită la comandă

Livrare economică 25 octombrie-08 noiembrie
Livrare express 26-28 septembrie pentru 16427 lei

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783319498119
ISBN-10: 3319498118
Pagini: 702
Dimensiuni: 155 x 235 x 37 mm
Greutate: 1.12 kg
Ediția: 1st ed. 2016
Editura: Springer
Colecția Springer
Seriile Lecture Notes in Computer Science , Programming and Software Engineering

Locul publicării: Cham, Switzerland

Cuprins

Foundations.- Specification and Verification.- From Verification to Analysis.- The KeY System in Action.- Case Studies

Caracteristici

Unique visibility
Integrates classic material and new concepts
Written by experts