Overview
- Editors:
-
-
Tiziana Margaria
-
Lehrstuhl für Programmiersysteme, Universität Dortmund, Dortmund, Germany
-
Tom Melham
-
Department of Computing Science, University of Glasgow, Glasgow, UK
Access this book
Other ways to access
Table of contents (35 papers)
-
Hardware Compilation
-
- Richard Sharp, Alan Mycroft
Pages 228-243
-
Tools
-
- Iskander Kort, Sofiene Tahar, Paul Curzon
Pages 244-258
-
- Enrico Tronci, Giuseppe Della Penna, Benedetto Intrigila, Marisa Venturini Zilli
Pages 259-274
-
- Fady Copty, Amitai Irron, Osnat Weissberg, Nathan Kropp, Gila Kamhi
Pages 275-292
-
Model Checking 2
-
- P. Chauhan, E. Clarke, S. Jha, J. Kukula, H. Veith, D. Wang
Pages 293-309
-
- Javier Esparza, Claus Schröter
Pages 310-324
-
Component Verification
-
- Christoph Berg, Christian Jacobi
Pages 325-339
-
- Kanna Shimizu, David L. Dill, Ching-Tsun Chou
Pages 340-354
-
- Koen Claessen, Mary Sheeran, Satnam Singh
Pages 355-368
-
Case Studies
-
- Xiaohua Kong, Radu Negulescu, Larry Weidong Ying
Pages 370-385
-
- Jayanta Bhadra, Andrew Martin, Jacob Abraham, Magdy Abadir
Pages 386-402
-
Algorithm Verification
-
- Ricky Butler, Víctor Carreño, Gilles Dowek, César Muñoz
Pages 403-417
-
- Eric Gascard, Laurence Pierre
Pages 418-432
-
- Mark D. Aagaard, Byron Cook, Nancy A. Day, Robert B. Jones
Pages 433-448
-
Duration Calculus
-
- Zhu Huibiao, Jonathan P. Bowen, He Jifeng
Pages 449-464
-
- Li Xuandong, Pei Yu, Zhao Jianhua, Li Yong, Zheng Tao, Zheng Guoliang
Pages 465-479
-
Back Matter
Pages 481-481
About this book
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 design and veri?cation of hardware and hardware-like systems. Previous events in the ‘CHARME’ series were held in Bad Herrenalb (1999), Montreal (1997), Frankfurt (1995), Arles (1993), and Torino (1991). This series of meetings has been organized in cooperation with IFIP WG 10.5 and WG 10.2. Prior meetings, stretching backto the earliest days of formal hardware veri?cation, were held under various names in Miami (1990), Leuven (1989), Glasgow (1988), Grenoble (1986), Edinburgh (1985), and Darmstadt (1984). The convention is now well-established whereby the European CHARME conference alternates with its biennial counterpart, the International Conference on Formal Methods in Computer-Aided Design (FMCAD), which is held on even-numbered years in the USA. The conference tookplace during 4–7 September 2001 at the Institute for System Level Integration in Livingston, Scotland. It was co-hosted by the - stitute and the Department of Computing Science of Glasgow University and co-sponsored by the IFIP TC10/WG10.5 Working Group on Design and En- neering of Electronic Systems. CHARME 2001 also included a scienti?c session and social program held jointly with the 14th International Conference on Th- rem Proving in Higher Order Logics (TPHOLs), which was co-located in nearby Edinburgh.
Editors and Affiliations
-
Lehrstuhl für Programmiersysteme, Universität Dortmund, Dortmund, Germany
Tiziana Margaria
-
Department of Computing Science, University of Glasgow, Glasgow, UK
Tom Melham