Aarhus University Seal

Special talk with Chengyu Zhang on Solidifying the Foundations for Software Reliability

Info about event


Monday 25 March 2024,  at 11:15 - 12:15




Department of Computer Science, Aarhus University

Title: Solidifying the Foundations for Software Reliability

Abstract: Software verification lies at the heart of building reliable software. Consequently, the dependability of verification tools is pivotal for software reliability. It is thus critical to develop effective methodologies and practical tools to help solidify the foundational verification tools. In this talk, I will present effective techniques and extensive effort for uncovering numerous bugs in modern SMT solvers and software verification tools. The talk will focus on both the theoretical and practical challenges of solidifying the verification foundations and introduce the latest advances and future directions.