Bertacco V., Legay A. (Eds.) Hardware and Software: Verification andTesting. 9th International Haifa Verification Conference, HVC 2013 Haifa, Israel, November 5-7, 2013 Proceedings

Springer International Publishing Switzerland, 2013. — 383 p. — ISBN 978-3-319-03076-0, e-ISBN 978-3-319-03077-7This volume contains the proceedings of the 9th Haifa Verification Conference (HVC 2013). The conference was hosted by IBM Research - Haifa and took place during November 5–7, 2013. It was the ninth event in this series of annual conferences dedicated to advancing the state of the art and state of the practice in verification and testing. The conference provided a forum for researchers and practitioners from academia and industry to share their work, exchange ideas, and discuss the future directions of testing and verification for hardware, software, and complex hybrid systems. This year HVC introduced a special track on software testing. This track, which was chaired by Amiram Yehudai and Itai Segall, expands the scope of HVC and attracted 11 submissions from a broader community.
Overall, HVC 2013 attracted 49 submissions in response to the call for papers. Each submission was assigned to at least three members of the Program Committee and in many cases additional reviews were solicited from outside experts. The Program Committee conferred about the submissions, judging them on their perceived importance, originality, clarity, and appropriateness for the expected audience. The Program Committee selected 23 papers for presentation, including five from the software testing track, resulting in an acceptance rate of 47%.
Complementing the contributed papers, the conference featured five invited keynote talks: “EDA in the Cloud” by Leon Stok, “Challenges in Enabling the Next Generation Mobile Experience: Are You Ready?” by Scott Runner, “Recent Advances in Model Checking” by Robert Brayton, “Synthesis of Concurrent Programs Using Genetic Programming” by Doron Peled, and “Opportunities and Challenges for High Performance Microprocessor Designs and Design Automation” by Ruchir Puri.
The conference itself started with a tutorial day including tutorials on: “Hardware Functional Verification - Present and Future” by Yuval Caspi; “SystemVerilog Assertions for Formal Verification” by Dmitry Korchemny; “Verification and Performance Analysis of Interconnects Within the SoCs” by Mirit Fromovich; “SAT, CSP, and Proofs” by Ofer Strichman; and “The System Simulation as a Tool for Development and Validation of Complex Systems” by Racheli Kenigsbuch.