ผู้เขียน: Mattias Ulbrich

Static analysis of software with deductive methods is a highly dynamic field of research on the verge of becoming a mainstream technology in software engineering. It consists of a large portfolio of …

This book presents reflections on the occasion of 20 years on the Ke Y project that focuses on deductive software verification.Since the inception of the Ke Y project two decades ago, the area of ded …