Legay, et al.. Automatic Verification of LLVM Code. 4 June 2020.