Formal methods for hardware verification. 6th international school on formal methods for the design of computer, communication, and software systems, SFM 2006, Bertinoro, Italy, May 22--27, 2006. Advanced lectures.

DOI10.1007/11757283MaRDI QIDQ855045zbMATH OpenOpenAlexFDO

Authors

Publication date 22 December 2006

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

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

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited in

(1)

Correct hardware design and verification methods. IFIP WG10.2 Advanced research working conference, CHARME '93, Arles, France, May 24-26, 1993. Proceedings

This page was built for publication: Formal methods for hardware verification. 6th international school on formal methods for the design of computer, communication, and software systems, SFM 2006, Bertinoro, Italy, May 22--27, 2006. Advanced lectures.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q855045)