Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised ... / Programming and Software Engineering)

Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised ... / Programming and Software Engineering)

by IanHarris (Editor), Daniel Kroening (Editor), OrnaRaz (Editor), SharonBarner (Editor)

Synopsis

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.

$63.37

Quantity

10 in stock

More Information

Format: Paperback
Pages: 207
Edition: 1st Edition.
Publisher: Springer
Published: 17 Mar 2011

ISBN 10: 3642195822
ISBN 13: 9783642195822