Produktbild
Wolfgang (Hrsg.) Ahrendt

Deductive Software Verification - The KeY Book

From Theory to Practice

Ebook (PDF Format)

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)

Versandfertig innerhalb 1-3 Werktagen
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


0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.