Deductive Software Verification: Future Perspectives

"Deductive Software Verification: Future Perspectives" is a technical book published to celebrate the 20th anniversary of the KeY project, which focuses on deductive software verification. Over the past two decades, the field of deductive verification has significantly evolved. The support for real programming languages by deductive verification tools has become widespread, bringing with it substantial theoretical and technical challenges. The book brings together contributions from recognized experts who address the latest challenges in this area. Topics range from the development of tools to considerations of efficiency and usability, as well as novel specification and verification methods. The aim is to provide readers with a current impression of the state of the art in deductive verification and to inspire them to actively engage in this field and pursue collaborations.