Equality-based translation validator for LLVM (2011)

by M Stepp, R Tate, S Lerner
Venue:In Proc. of the 23rd International Conference on Computer Aided Verification