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
Dependable Software Engineering. Theories, Tools, and Applications
Language: en
Pages: 249
Authors: Wei Dong
Categories: Computers
Type: BOOK - Published: 2022-12-10 - Publisher: Springer Nature

DOWNLOAD EBOOK

This book constitutes the proceedings of the 8th International Symposium on Dependable Software Engineering, SETTA 2022, held in Beijing, China, in October 2022
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
Automated Deduction – CADE 29
Language: en
Pages: 614
Authors: Brigitte Pientka
Categories: Computers
Type: BOOK - Published: 2023-10-04 - Publisher: Springer Nature

DOWNLOAD EBOOK

This open access book constitutes the proceedings of the 29th International Conference on Automated Deduction, CADE 29, which took place in Rome, Italy, during