Deductive Software Verification - The KeY Book
Broschiertes Buch

Deductive Software Verification - The KeY Book

From Theory to Practice

Herausgegeben: Ahrendt, Wolfgang; Beckert, Bernhard; Bubel, Richard; Hähnle, Reiner; Schmitt, Peter H.; Ulbrich, Mattias
Versandkostenfrei!
Versandfertig in 6-10 Tagen
91,99 €
inkl. MwSt.
Weitere Ausgaben:
PAYBACK Punkte
46 °P sammeln!
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...