Completeness bounds and sequentialization for model checking of interacting firmware and hardware
Publication Year
2015
Type
Conference Paper
Conference Name
Proceedings of the 10th International Conference on Hardware/Software Codesign and System Synthesis
Publisher
IEEE Press