11. CHARME 2001: Livingston, Scotland, UK

Tiziana Margaria, Thomas F. Melham (Eds.): 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. Lecture Notes in Computer Science 2144 Springer 2001, ISBN 3-540-42541-1 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Invited Contributions

FMCAD 2000

Model Checking 1

Short Papers 1

Clocking Issues

Short Papers 2

Joint Session with TPHOLs

Hardware Compilation

Tools

Model Checking 2

Component Verification

Case Studies

Algorithm Verification

Duration Calculus