Integration verification across software and hardware for a simple embedded system

Andres Erbsen, Samuel Gruetter, Joonwon Choi, Clark Wood, Adam Chlipala
[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer] [url]

Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation
PLDI 2021
Virtual, Canada
Association for Computing Machinery
New York, NY, USA
Pages 604-619