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

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

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

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

This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in Oc