Compositional Reasoning for Hardware/Software Co-verification

DOI10.1007/11901914_14MaRDI QIDQ3522907zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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

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

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)