Compositional Reasoning for Hardware/Software Co-verification

DOI10.1007/11901914_14zbMATH Open1161.68591OpenAlexW1481333873MaRDI QIDQ3522907FDOQ3522907

Authors: Fei Xie, Guowu Yang, Xiaoyu Song 

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

Recommendations

• Hardware/Software Co-Verification: Models and Methods
• A methodology for hardware verification using compositional model checking
• A compositional framework for hardware/software co-design
• Combining software and hardware verification techniques
• Formal Methods for Hardware Verification

Mathematics Subject Classification ID

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

Cited In (7)

• A compositional framework for hardware/software co-design
• Dynamic and formal verification of embedded systems: A comparative survey
• Co-verification approach to control software program for CPS
• Specifying and Analysing SOC Applications with COWS
• Hardware/Software Co-Verification: Models and Methods
• Hardware/software co-design of complex embedded systems: An approach using efficient process models, multiple formalism specification and validation via Co-simulation
• A methodology for hardware verification using compositional model checking

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3522907)