Compositional Reasoning for Hardware/Software Co-verification

DOI10.1007/11901914_14zbMath1161.68591OpenAlexW1481333873MaRDI QIDQ3522907

Xiaoyu Song, Fei Xie, Guo-wu Yang

Publication date: 4 September 2008

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11901914_14

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: Compositional Reasoning for Hardware/Software Co-verification