Deductive Software Verification – The KeY Book From Theory to Practice
-
- Taschenbuch ausgewählt
- eBook
-
Sprache:Englisch
115,99 €
inkl. gesetzl. MwSt.,
Beschreibung
Produktdetails
Einband
Taschenbuch
Erscheinungsdatum
21.12.2016
Abbildungen
XXXII, 702 p. 110 illus.
Herausgeber
Wolfgang Ahrendt + weitereVerlag
SpringerSeitenzahl
702
Maße (L/B/H)
23,5/15,5/4 cm
Gewicht
1095 g
Auflage
1st ed. 2016
Sprache
Englisch
ISBN
978-3-319-49811-9
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.
Noch keine Bewertungen vorhanden
Verfassen Sie die erste Bewertung zu diesem Artikel
Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.
Kurze Frage zu unserer Seite
Vielen Dank für dein Feedback
Wir nutzen dein Feedback, um unsere Produktseiten zu verbessern. Bitte habe Verständnis, dass wir dir keine Rückmeldung geben können. Falls du Kontakt mit uns aufnehmen möchtest, kannst du dich aber gerne an unseren Kund*innenservice wenden.
zum Kundenservice