Programming and Software Engineering

Deductive Software Verification – The KeY Book

From Theory to Practice

Editors: Ahrendt, W., Beckert, B., Bubel, R., Hähnle, R., Schmitt, P.H., Ulbrich, M. (Eds.)

  • Unique visibility
  • Integrates classic material and new concepts
  • Written by experts
see more benefits

Buy this book

eBook $99.00
price for USA (gross)
  • ISBN 978-3-319-49812-6
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $131.00
price for USA
  • ISBN 978-3-319-49811-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

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.


Table of contents (19 chapters)

Buy this book

eBook $99.00
price for USA (gross)
  • ISBN 978-3-319-49812-6
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $131.00
price for USA
  • ISBN 978-3-319-49811-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Deductive Software Verification – The KeY Book
Book Subtitle
From Theory to Practice
Editors
  • Wolfgang Ahrendt
  • Bernhard Beckert
  • Richard Bubel
  • Reiner Hähnle
  • Peter H. Schmitt
  • Mattias Ulbrich
Series Title
Programming and Software Engineering
Series Volume
10001
Copyright
2016
Publisher
Springer International Publishing
Copyright Holder
Springer International Publishing AG
eBook ISBN
978-3-319-49812-6
DOI
10.1007/978-3-319-49812-6
Softcover ISBN
978-3-319-49811-9
Edition Number
1
Number of Pages
XXXII, 702
Number of Illustrations and Tables
110 b/w illustrations
Topics