Testing, Credible Compilation, and Verification in the Axon Verified Compiler in Lean and
ποΈ
National University of Singapore
Software & Programming
- Ensuring the correctness of compiled code is critical but challenging due to the complexity of modern programming langua
- The Axon compiler integrates testing, credible compilation, and verification with machine-checked proofs to guarantee co