Combining software and hardware verification techniques

DOI10.1023/A:1020383505582zbMath1020.68054OpenAlexW1493466221MaRDI QIDQ1871861

Hüsnü Yenigün, Vladimir Levin, M. Minea, Robert Kurshan, Doron A. Peled

Publication date: 4 May 2003

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1020383505582

zbMATH Keywords

formal verificationmodel checkingpartial order reductionhardware/software co-design

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Uses Software

• SPIN

This page was built for publication: Combining software and hardware verification techniques