Deductive Software Verification The KeY Book - 9783319498119

Description: Deductive Software Verification ? The KeY Book Please note: this item is printed on demand and will take extra time before it can be dispatched to you (up to 20 working days). From Theory to Practice Author(s): Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner H?hnle, Peter H. Schmitt, Mattias Ulbrich Format: Paperback Publisher: Springer International Publishing AG, Switzerland Imprint: Springer International Publishing AG ISBN-13: 9783319498119, 978-3319498119 Synopsis 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. This book is the definitive guide to KeY that lets you explore the full potential of deductive software verification in practice. It contains the complete theory behind KeY for active researchers who want to understand it in depth or use it in their own work. But the book also features fully self-contained chapters on the Java Modeling Language and on Using KeY that require nothing else than familiarity with Java. All other chapters are accessible for graduate students ([url] level and beyond). The KeY framework is free and open software, downloadable from the book companion website which contains also all code examples mentioned in this book.

Price: 89.7 GBP

Location: Aldershot

End Time: 2024-11-12T09:28:37.000Z

Shipping Cost: 38.42 GBP

Product Images

Item Specifics

Return postage will be paid by: Buyer

Returns Accepted: Returns Accepted

After receiving the item, your buyer should cancel the purchase within: 60 days

Return policy details:

Book Title: Deductive Software Verification The KeY Book

Item Height: 235 mm

Item Width: 155 mm

Series: Programming and Software Engineering

Author: Mattias Ulbrich, Bernhard Beckert, Wolfgang Ahrendt, Richard Bubel, Peter H. Schmitt, Reiner Hahnle

Publication Name: Deductive Software Verification-The Key Book: from Theory to Practice

Format: Paperback

Language: English

Publisher: Springer International Publishing A&G

Subject: Computer Science

Publication Year: 2016

Type: Textbook

Number of Pages: 702 Pages