Deductive Software Verification – The KeY Book

Deductive Software Verification – The KeY Book
Author :
Publisher : Springer
Total Pages : 714
Release :
ISBN-10 : 9783319498126
ISBN-13 : 3319498126
Rating : 4/5 (26 Downloads)

Book Synopsis Deductive Software Verification – The KeY Book by : Wolfgang Ahrendt

Download or read book Deductive Software Verification – The KeY Book written by Wolfgang Ahrendt and published by Springer. This book was released on 2016-12-19 with total page 714 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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 (M.Sc. 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.


Deductive Software Verification – The KeY Book Related Books

Deductive Software Verification – The KeY Book
Language: en
Pages: 714
Authors: Wolfgang Ahrendt
Categories: Computers
Type: BOOK - Published: 2016-12-19 - Publisher: Springer

DOWNLOAD EBOOK

Static analysis of software with deductive methods is a highly dynamic field of research on the verge of becoming a mainstream technology in software engineerin
Medical Device Software Verification, Validation and Compliance
Language: en
Pages: 445
Authors: David A. Vogel
Categories: Medical
Type: BOOK - Published: 2011 - Publisher: Artech House

DOWNLOAD EBOOK

HereOCOs the first book written specifically to help medical device and software engineers, QA and compliance professionals, and corporate business managers bet
Software Validation, Verification, Testing, and Documentation
Language: en
Pages: 416
Authors: Stephen J. Andriole
Categories: Computers
Type: BOOK - Published: 1986 - Publisher:

DOWNLOAD EBOOK

Formal Verification of Control System Software
Language: en
Pages: 230
Authors: Pierre-Loïc Garoche
Categories: Mathematics
Type: BOOK - Published: 2019-05-14 - Publisher: Princeton University Press

DOWNLOAD EBOOK

An essential introduction to the analysis and verification of control system software The verification of control system software is critical to a host of techn
Software Verification and Validation
Language: en
Pages: 178
Authors: Marcus S. Fisher
Categories: Computers
Type: BOOK - Published: 2007-12-03 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book fills the critical need for an in-depth technical reference providing the methods and techniques for building and maintaining confidence in many varit