Establishing a refinement relation between binaries and abstract code
Freek Verbeek, Joshua Bockenek, Abhijith Bharadwaj, Ian Roessle, Binoy Ravindran[doi] [Google Scholar] [DBLP] [Citeseer]
Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design
ACM
Pages 17
2019
Topic(s): verification
ACM
Pages 17
2019
Topic(s): verification