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
Wolfgang Roesner (auth.), Daniel Geist, Enrico Tronci (eds.)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.
კატეგორია:
წელი:
2003
გამოცემა:
1
გამომცემლობა:
Springer-Verlag Berlin Heidelberg
ენა:
english
გვერდები:
432
ISBN 10:
354020363X
ISBN 13:
9783540203636
სერია:
Lecture Notes in Computer Science 2860
ფაილი:
PDF, 3.99 MB
IPFS:
,
english, 2003