《演绎软件验证：未来展望：KeY 20 周年之际的反思(Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY)》

本书介绍了20年来对KeY项目的反思，该项目专注于演绎软件验证。

自二十年前KeY项目启动以来，演绎验证领域已经有了很大的发展。通过演绎程序验证工具对现实世界编程语言的支持已经变得普遍。这需要克服重大的理论和技术挑战，以支持先进的软件工程和编程概念。社区与竞争激烈但友好和支持的环境变得更加相互联系。

本书以KeY成立20周年为契机，邀请项目内外的研究人员为一本书做出贡献，本书捕捉了该领域的一些最新发展。

本书收到了该领域公认的专家的 13 篇文章，以应对最新挑战。贡献的主题从工具开发，效率和可用性考虑到新颖的规范和验证方法。

这本书应该为读者提供关于演绎验证当前技术的最新印象，我们希望激励她为该领域做出贡献并共同努力。我们期待在下一次会议上与您见面，听取您的研究讲座以及由此产生的富有成效的讨论和合作。