Integration verification across software and hardware for a simple embedded system
Name
3453483.3454065.pdf
Description
Published version
Size
703.34 KB
Format
Adobe PDF
Checksum (MD5)
e488d039dff8504310956cacc5fb910f
Author(s)
Erbsen, Andres
Gruetter, Samuel
Choi, Joonwon
Wood, Clark
Chlipala, Adam
Date Issued
2021
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
MIT Department
Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
Terms of Use
Creative Commons Attribution 4.0 International License
Persistent DSpace Link
DOI of Published Version
https://doi.org/10.1145/3453483.3454065
