DEDUCTIVE SOFTWARE VERIFICATION - THE KEY BOOK by Bernhard Beckert (Editor), Reiner Hahnle (Editor), Peter H. Schmitt (Editor) ( 9783319498119 )

Item Details

Title:

DEDUCTIVE SOFTWARE VERIFICATION - THE KEY BOOK
FROM THEORY TO PRACTICE

By:

Bernhard Beckert (Editor), Reiner Hahnle (Editor), Peter H. Schmitt (Editor)

Format:

Paperback

List price:

£109.99

Our price:

£96.24

Discount:

12.5% off

You save:

£13.75

ISBN 10:

3319498118

ISBN 13:

9783319498119

Availability:

Usually dispatched within 1-3 weeks.

Delivery rates

Stock:

Currently 0 available

Publisher:

SPRINGER INTERNATIONAL PUBLISHING AG

Pub. date:

21 December, 2016

Edition:

1st ed. 2016

Series:

Lecture Notes in Computer Science 10001

Pages:

702

Synopsis:

Static analysis of software with deductive methods is a highly dynamic fieldof research on the verge of becoming a mainstream technology in softwareengineering. 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-artdeductive verification framework KeY.This book is the definitive guide to KeY that lets you explore the fullpotential of deductive software verification in practice. It contains thecomplete theory behind KeY for active researchers who want to understand it indepth or use it in their own work. But the book also features fullyself-contained chapters on the Java Modeling Language and on Using KeY thatrequire nothing else than familiarity with Java. All other chapters areaccessible for graduate students (M.Sc. level and beyond).<

Illustrations:

110 Illustrations, black and white; XXXII, 702 p. 110 illus.

Publication:

Switzerland

Imprint:

Springer International Publishing AG

Returns:

Returnable

Some other items by this author:

AUTOMATED DEDUCTION

AUTOMATED DEDUCTION (HB)

AUTOMATED DEDUCTION - A BASIS FOR APPLICATIONS VOLUME I FOUNDATIONS - CALCULI AND METHODS VOLUME II SYSTEMS AND IMPLEMENTATION TECHNIQUES VOLUME III APPLICATIONS (HB)