Correct hardware design and verification methods : 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003 : proceedings

Resource Information

The work Correct hardware design and verification methods : 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003 : proceedings represents a distinct intellectual or artistic creation found in University of Missouri Libraries. This resource is a combination of several types including: Work, Language Material, Books, http://bibfra.me/vocab/marc/conference-publication.

Label

Correct hardware design and verification methods : 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003 : proceedings

Title remainder

12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003 : proceedings

Statement of responsibility

Daniel Geist, Enrico Tronci, (eds.)

Creator

• CHARME 2003, 2003

Contributor

• Geist, Daniel, 1961-
• Tronci, Enrico, 1961-

Subject

• Conference papers and proceedings
• Integrated circuits -- Verification
• Integrated circuits -- Verification
• Integrated circuits -- Verification -- Congresses
• Integrated circuits -- Very large scale integration | Computer-aided design
• Integrated circuits -- Very large scale integration | Computer-aided design
• Integrated circuits -- Very large scale integration | Computer-aided design -- Congresses
• Conference papers and proceedings

Genre

• Congresses
• Conference papers and proceedings

Language

eng

Summary

This book constitutes the refereed proceedings of the 12th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods, CHARME 2003, held in L'Aquila, Italy in October 2003. The 24 revised full papers and 8 short papers presented were carefully reviewed and selected from 65 submissions. The papers are organized in topical sections on software verification, automata based methods, processor verification, specification methods, theorem proving, bounded model checking, and model checking and applications

Member of

• Lecture notes in computer science, 2860
• Lecture notes in computer science, 2860.

Cataloging source

COO

Dewey number

621.39/5

Illustrations

illustrations

Index

index present

LC call number

TK7874.75

LC item number

.C453 2003

Literary form

non fiction

Nature of contents

• dictionaries
• bibliography

Series statement

Lecture notes in computer science,

Series volume

2860