Formal Methods for Hardware Verification
From MaRDI portal
Publication:5899151
DOI10.1007/11757283zbMath1182.68112OpenAlexW2475557998MaRDI QIDQ5899151
Nicola Bombieri, Franco Fummi, Graziano Pravadelli
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
Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical problems of computer architecture (68M07) Reliability, testing and fault tolerance of networks and computer systems (68M15)
This page was built for publication: Formal Methods for Hardware Verification