|
 |
|
 |
 |
Correct Hardware Design and Verification Methods: 12th IFIP WG 10.5 Advanced Research...
|
by Daniel Geist and Enrico Tronci
|
List Price: $109.00
$109.00
At Amazon
|
|
Paperback: 426 pages
Publisher: Springer; 1 edition December 5, 2003
Language: English
ISBN-10: 354020363X
ISBN-13: 978-3540203636
Product Dimensions:
9.1 x 6 x 1 inches
Shipping Weight: 1.5 pounds
Product Description
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.
|
Correct Hardware Design and Verification Methods: 12th IFIP WG 10.5 Advanced Research...
List Price: $109.00
Available from Amazon
Price: $109.00
| |
|
|
|
|
