C*: Unifying Programming and Verification in C

Yiyuan Cao, Jiayi Zhuang, Houjin Chen +8

Ensuring the correct functionality of systems software, given its safety-critical and low-level nature, is a primary focus in formal verification research and applications. Despite…