Deductive Software Verification – The KeY Book: From Theory to Practice: 10001 (Lecture Notes in Computer Science)

by Bernhard Beckert (Editor), Bernhard Beckert (Editor), Mattias Ulbrich (Editor), Reiner Hähnle (Editor), Peter H. Schmitt (Editor), Richard Bubel (Editor), Wolfgang Ahrendt (Editor)

• New

  Paperback
  2016

  $122.35

  All of them are realized in the state-of-artdeductive verification framework KeY.This book is the definitive guide to KeY that lets you explore the fullpotential of deductive software verification in practice.