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
ACM
Pages 1041-1053
2019
Topic(s): verification
Note(s): hardware