Verified compilation on a verified processor

Andreas Lööw, Ramana Kumar, Yong Kiam Tan, Magnus O. Myreen, Michael Norrish, Oskar Abrahamsson, Anthony C. J. Fox
[doi] [Google Scholar] [DBLP] [Citeseer]

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation
ACM
Pages 1041-1053
2019
Topic(s): verification
Note(s): hardware