Deductive Software Verification -- The KeY Book : From Theory to Practice / Wolfgang Ahrendt [and others] (eds.).
2016
QA76.76.V47
Linked e-resources
Linked Resource
Online Access
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks
Details
Title
Deductive Software Verification -- The KeY Book : From Theory to Practice / Wolfgang Ahrendt [and others] (eds.).
ISBN
9783319498126 (electronic book)
3319498126 (electronic book)
9783319498119
3319498126 (electronic book)
9783319498119
Published
Cham : Springer, 2016
Language
English
Description
1 online resource (xxxii, 702 pages) : illustrations
Item Number
10.1007/978-3-319-49812-6 doi
Call Number
QA76.76.V47
Dewey Decimal Classification
005.1
Summary
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
Note
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
Access Note
Access limited to authorized users.
Digital File Characteristics
text file PDF
Added Author
Ahrendt, Wolfgang, editor
Beckert, Bernhard, editor
Bubel, Richard, editor
Hähnle, Reiner, editor
Schmitt, Peter H., editor
Ulbrich, Mattias, editor
Beckert, Bernhard, editor
Bubel, Richard, editor
Hähnle, Reiner, editor
Schmitt, Peter H., editor
Ulbrich, Mattias, editor
Series
Lecture notes in computer science ; 10001.
LNCS sublibrary. SL 2, Programming and software engineering.
LNCS sublibrary. SL 2, Programming and software engineering.
Available in Other Form
Print version: 9783319498119
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
All Resources
Table of Contents
Foundations
Specification and Verification
From Verification to Analysis
The KeY System in Action
Case Studies
Specification and Verification
From Verification to Analysis
The KeY System in Action
Case Studies