by Bernhard Beckert (Editor), Bernhard Beckert (Editor), Mattias Ulbrich (Editor), Reiner Hähnle (Editor), Peter H. Schmitt (Editor), Richard Bubel (Editor), Wolfgang Ahrendt (Editor)
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.
Format: Paperback
Pages: 736
Edition: 1st ed. 2016
Publisher: Springer
Published: 21 Dec 2016
ISBN 10: 3319498118
ISBN 13: 9783319498119