Deductive Software Verification – The KeY Book: From Theory to Practice (Lecture Notes in Computer Science) 1st ed. 2016 Edition

  • By Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich
  • Pages 702
  • Year 2016
  • Publisher Springer
  • Language en
  • ISBN 9783319498119
  • File Size 7.35 MB
  • File Format PDF
  • Download Counter 312
  • Amazon Link

Ebook Description

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.

Comments

blog comments powered by Disqus
logo