Correct Hardware Design and Verification Methods 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4-7, 2001 Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Margaria, Tiziana (Editor, http://id.loc.gov/vocabulary/relators/edt), Melham, Tom (Editor, http://id.loc.gov/vocabulary/relators/edt)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001.
• Edition: 1st ed. 2001.
• Series: Lecture Notes in Computer Science, 2144
• Subjects: Architecture, Computer.; Computers.; Software engineering.; Computer hardware.; Computer logic.; Computer System Implementation.; Theory of Computation.; Software Engineering/Programming and Operating Systems.; Computer Hardware.; Logics and Meanings of Programs.; Software Engineering.

This volume contains the proceedings of CHARME 2001, the Eleventh Advanced Research Working Conference on Correct Hardware Design and Veri?cation Methods. CHARME 2001 is the 11th in a series of working conferences devoted to the development and use of leading-edge formal techniques and tools for the...