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

Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 38757 lei

Preț vechi: 48446 lei

Puncte Express: 581

Preț estimativ în valută:
7905 $ 6946£

Carte tipărită la comandă

Livrare economică 27 iulie-10 august
Livrare express 30 iunie-06 iulie pentru 18409 lei

Preluare comenzi: 021 569.72.76


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


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


Unique visibility
Integrates classic material and new concepts
Written by experts