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

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)

Synopsis

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.

$115.28

Quantity

10 in stock

More Information

Format: Paperback
Pages: 736
Edition: 1st ed. 2016
Publisher: Springer
Published: 21 Dec 2016

ISBN 10: 3319498118
ISBN 13: 9783319498119