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