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
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
The ultimate goal of program verification is not the theory behind the tools or the tools themselves, but the application of the theory and tools in the softwar
The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Fo
The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, IS