An SMT Encoding of LLVM’s Memory Model for Bounded Translation Validation.
2021
Several automatic verification tools have been recently developed to verify subsets of LLVM’s optimizations. However, none of these tools has robust support to verify memory optimizations.
Keywords:
- Correction
- Source
- Cite
- Save
- Machine Reading By IdeaReader
47
References
2
Citations
NaN
KQI