| Title:
|
HARDWARE AND SOFTWARE: VERIFICATION AND TESTING
6TH INTERNATIONAL HAIFA VERIFICATION CONFERENCE, HVC 2010, HAIFA, ISRAEL, OCTOBER 4-7, 2010. REVISED SELECTED PAPERS |
| By: |
Sharon Barner (Editor), Ian Harris (Editor), Daniel Kroening (Editor) |
| Format: |
Paperback |
| List price:
|
£53.99 |
|
We currently do not stock this item, please contact the publisher directly for
further information.
|
|
|
|
|
|
| ISBN 10: |
3642195822 |
| ISBN 13: |
9783642195822 |
| Publisher: |
SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG |
| Pub. date: |
17 March, 2011 |
| Edition: |
2011 ed. |
| Series: |
Lecture Notes in Computer Science 6504 |
| Pages: |
197 |
| Description: |
Constitutes the post-conference proceedings of the 6th International Haifa Verification Conference, HVC 2010, that was held in Haifa, Israel in October 2010. This book includes 10 full papers together with 7 invited papers that address issues, challenges and future directions of verification for hardware, software, and hybrid systems. |
| Synopsis: |
This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Haifa Verification Conference, HVC 2010, held in Haifa, Israel in October 2010.The 10 revised full papers presented together with 7 invited papers were carefully reviewed and selected from 30 submissions. The papers address all current issues, challenges and future directions of verification for hardware, software, and hybrid systems and have a research focus on hybrid methods and the migration of methods and ideas between hardware and software, static and dynamic analysis, pre- and post-silicon. |
| Illustrations: |
13 Illustrations, color; 38 Illustrations, black and white; X, 197 p. 51 |
| Publication: |
Germany |
| Imprint: |
Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| Returns: |
Returnable |