Combining Software and Hardware Verification Techniques

• 1 January 2002
• journal article
• Published by Springer Nature in Formal Methods in System Design
• Vol. 21  (3) , 251-280
• https://doi.org/10.1023/a:1020383505582

Abstract

Keywords

• FORMAL VERIFICATION
• MODEL CHECKING
• HARDWARE/SOFTWARE CO-DESIGN
• PARTIAL ORDER REDUCTION