AliveInLean: A Verified LLVM Peephole Optimization Verifier

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-030-25543-5_25 ◽

2019 ◽

pp. 445-455

Author(s):

Juneyoung Lee ◽

Chung-Kil Hur ◽

Nuno P. Lopes

Download Full-text