Abstract Interpretation-Based Certification of Assembly Code
No abstract available.
DOI 10.1007/3-540-36384-x_7
Related papers
- Symbolic transfer function-based approaches to certified compilation POPL 2004
- An Abstract Model of Certificate Translation TOPLAS 2011
- Formal certification of a compiler back-end or: programming a compiler with a proof assistant POPL 2006
- Certificate Translation in Abstract Interpretation ESOP 2008
- Analyzing and compressing assembly code PLDI 1984
- Efficient Generation of Correctness Certificates for the Abstract Domain of Polyhedra SAS 2013
- A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems TACAS 2023
- Fast and precise certification of transformers PLDI 2021