Deductive Software Verification - The KeY Book (eBook, PDF)
eBook, PDF

Deductive Software Verification - The KeY Book (eBook, PDF)

From Theory to Practice

Redaktion: Ahrendt, Wolfgang; Ulbrich, Mattias; Schmitt, Peter H.; Hähnle, Reiner; Bubel, Richard; Beckert, Bernhard
Versandkostenfrei!
Sofort per Download lieferbar
89,95 €
inkl. MwSt.
Alle Infos zum eBook verschenken
Weitere Ausgaben:
PAYBACK Punkte
45 °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 researcher...

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.