Deductive Software Verification - The KeY Book
From Theory to Practice
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 t…
Mehr
CHF 118.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
Versandkostenfrei
Produktdetails
Weitere Autoren: Beckert, Bernhard (Hrsg.) / Bubel, Richard (Hrsg.) / Hähnle, Reiner (Hrsg.) / Schmitt, Peter H. (Hrsg.) / Ulbrich, Mattias (Hrsg.)
- ISBN: 978-3-319-49812-6
- EAN: 9783319498126
- Produktnummer: 33305289
- Verlag: Springer-Verlag GmbH
- Sprache: Englisch
- Erscheinungsjahr: 2016
- Seitenangabe: 702 S.
- Plattform: PDF
- Masse: 10'189 KB
- Abbildungen: 110 schwarz-weiße Abbildungen, Bibliographie
- Reihenbandnummer: 10001
8 weitere Werke von Wolfgang (Hrsg.) Ahrendt:
Bewertungen
Anmelden