An SMT Encoding of LLVM's Memory Model for Bounded Translation Validation.

Juneyoung Lee, Dongjoo Kim, Chung-Kil Hur, Nuno P. Lopes

Browse the full CAV paper archive.