Detecting Inconsistencies in ARM CCA’s Formally Verified Specification

Recommended citation: Changho Choi, Xiang Cheng, Bokdeuk Jeong, and Taesoo Kim. Detecting inconsistencies in arm cca’s formally verified specification. In Proceedings of the 31st ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), 2026