Integration verification across software and hardware for a simple embedded system

Author(s)
Erbsen, Andres; Gruetter, Samuel; Choi, Joonwon; Wood, Clark; Chlipala, Adam
Thumbnail
DownloadPublished version (703.3Kb)
Publisher with Creative Commons License
Terms of use
Creative Commons Attribution 4.0 International License https://creativecommons.org/licenses/by/4.0
Metadata
Show full item record
Date issued
2021
URI
https://hdl.handle.net/1721.1/142932
Department
Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
Journal
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation
Publisher
ACM
Citation
Erbsen, Andres, Gruetter, Samuel, Choi, Joonwon, Wood, Clark and Chlipala, Adam. 2021. "Integration verification across software and hardware for a simple embedded system." Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation.
Version: Final published version
Collections