Deductive Software Verification: Future Perspectives

Publisher : Springer Nature

ISBN-13 : 3030643549

Page : 339 pages

Rating : 4.5/5 from 549 voters

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.

More Books:

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

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
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles
Language: en
Pages: 582
Authors: Tiziana Margaria
Categories: Computers
Type: BOOK - Published: 2020-10-28 - Publisher: Springer Nature

The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, IS
NASA Formal Methods
Language: en
Pages:
Authors: Jyotirmoy V. Deshmukh
Categories:
Type: BOOK - Published: - Publisher: Springer Nature

Computing and Software Science
Language: en
Pages: 590
Authors: Bernhard Steffen
Categories: Computers
Type: BOOK - Published: 2019-10-04 - Publisher: Springer Nature

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
Model-Based Safety and Assessment
Language: en
Pages: 380
Authors: Yiannis Papadopoulos
Categories: Computers
Type: BOOK - Published: 2019-10-11 - Publisher: Springer Nature

This book constitutes the proceedings of the 6th International Symposium on Model-Based Safety and Assessment, IMBSA 2019, held inThessaloniki, Greece, in Octob
Software Engineering and Formal Methods
Language: en
Pages: 550
Authors: Peter Csaba Ölveczky
Categories: Computers
Type: BOOK - Published: 2019-09-09 - Publisher: Springer Nature

This book constitutes the refereed proceedings of the 17th International Conference on Software Engineering and Formal Methods, SEFM 2019, held in Oslo, Norway,
Perspectives of System Informatics
Language: en
Pages: 263
Authors: Nikolaj Bjørner
Categories: Computers
Type: BOOK - Published: 2019-12-13 - Publisher: Springer Nature

This book constitutes the refereed proceedings of the 12th International Andrei P. Ershov Informatics Conference, PSI 2019, held in Novosibirsk, Russia, in July
Leveraging Applications of Formal Methods, Verification and Validation. Verification
Language: en
Pages: 496
Authors: Tiziana Margaria
Categories: Computers
Type: BOOK - Published: 2018-10-29 - Publisher: Springer

The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Fo
Software Quality Assurance
Language: en
Pages: 416
Authors: Ivan Mistrik
Categories: Computers
Type: BOOK - Published: 2015-10-12 - Publisher: Morgan Kaufmann

Software Quality Assurance in Large Scale and Complex Software-intensive Systems presents novel and high-quality research related approaches that relate the qua
Formal Methods for Executable Software Models
Language: en
Pages: 343
Authors: Marco Bernardo
Categories: Computers
Type: BOOK - Published: 2014-05-26 - Publisher: Springer

This book presents 8 tutorial lectures given by leading researchers at the 14th edition of the International School on Formal Methods for the Design of Computer