Deductive Software Verification: Future Perspectives

Deductive Software Verification: Future Perspectives
Author :
Publisher : Springer Nature
Total Pages : 345
Release :
ISBN-10 : 9783030643546
ISBN-13 : 3030643549
Rating : 4/5 (46 Downloads)

Book Synopsis Deductive Software Verification: Future Perspectives by : Wolfgang Ahrendt

Download or read book Deductive Software Verification: Future Perspectives written by Wolfgang Ahrendt and published by Springer Nature. This book was released on 2020-12-08 with total page 345 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book presents reflections on the occasion of 20 years on the KeY project that focuses on deductive software verification. Since the inception of the KeY project two decades ago, the area of deductive verification has evolved considerably. Support for real world programming languages by deductive program verification tools has become prevalent. This required to overcome significant theoretical and technical challenges to support advanced software engineering and programming concepts. The community became more interconnected with a competitive, but friendly and supportive environment. We took the 20-year anniversary of KeY as an opportunity to invite researchers, inside and outside of the project, to contribute to a book capturing some state-of-the-art developments in the field. We received thirteen contributions from recognized experts of the field addressing the latest challenges. The topics of the contributions range from tool development, effciency and usability considerations to novel specification and verification methods. This book should offer the reader an up-to-date impression of the current state of art in deductive verification, and we hope, inspire her to contribute to the field and to join forces. We are looking forward to meeting you at the next conference, to listen to your research talks and the resulting fruitful discussions and collaborations.


Deductive Software Verification: Future Perspectives Related Books

Deductive Software Verification: Future Perspectives
Language: en
Pages: 345
Authors: Wolfgang Ahrendt
Categories: Computers
Type: BOOK - Published: 2020-12-08 - Publisher: Springer Nature

DOWNLOAD EBOOK

This book presents reflections on the occasion of 20 years on the KeY project that focuses on deductive software verification. Since the inception of the KeY pr
Deductive Software Verification: Future Perspectives
Language: en
Pages: 339
Authors: Wolfgang Ahrendt
Categories: Computers
Type: BOOK - Published: 2020-12-09 - Publisher: Springer

DOWNLOAD EBOOK

This book presents reflections on the occasion of 20 years on the KeY project that focuses on deductive software verification. Since the inception of the KeY pr
Computing and Software Science
Language: en
Pages: 604
Authors: Bernhard Steffen
Categories: Computers
Type: BOOK - Published: 2019-10-04 - Publisher: Springer Nature

DOWNLOAD EBOOK

The papers of this volume focus on the foundational aspects of computer science, the thematic origin and stronghold of LNCS, under the title “Computing and So
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
Tests and Proofs
Language: en
Pages: 202
Authors: Virgile Prevosto
Categories: Philosophy
Type: BOOK - Published: 2023-07-19 - Publisher: Springer Nature

DOWNLOAD EBOOK

This book constitutes the proceedings of the 17th International Conference, TAP 2023, as part of STAF 2023, a federation of conferences on Software Technologies