Formal Methods for Hardware Verification

DOI10.1007/11757283zbMath1182.68115OpenAlexW2475557998MaRDI QIDQ5899153

Jan-Willem Roorda, Koen Claessen

Publication date: 2 May 2007

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

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

Mathematics Subject Classification ID

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

Related Items (1)

Symbolic Trajectory Evaluation

This page was built for publication: Formal Methods for Hardware Verification