Correct Hardware Design and Verification Methods

DOI10.1007/11560548zbMath1159.68323OpenAlexW2483257485MaRDI QIDQ5493216

Marsha Chechik, Arie Gurfinkel

Publication date: 20 October 2006

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical problems of computer architecture (68M07)

Related Items (1)

On the consistency, expressiveness, and precision of partial modeling formalisms

This page was built for publication: Correct Hardware Design and Verification Methods