Integration verification across software and hardware for a simple embedded system

被引：0

作者：

Erbsen, Andres ^{[1
]}

Gruetter, Samuel ^{[1
]}

Choi, Joonwon ^{[1
]}

Wood, Clark ^{[1
]}

Chlipala, Adam ^{[1
]}

机构：

[1] Massachusetts Institute of Technology, United States

来源：

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) | 2021年

关键词：

Number:; CCF-1521584; Acronym:; NSF; Sponsor: National Science Foundation; -; MIT; Sponsor: Massachusetts Institute of Technology;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

Formal verification

引用

页码：604 / 619