2 ms·An SMT Encoding of LLVM's Memory Model for Bounded Translation Validation3 points by matt_d 5y ago