En savoir plus sur le livre
These proceedings document the 4th Haifa Verification Conference, held from October 27–30, 2008, in Haifa, Israel. This international event serves as a unique platform for leading researchers and practitioners in both formal and dynamic verification for hardware and software systems. This year saw a significant increase in submissions, with 49 total entries from 19 countries, highlighting the conference's growing global prominence. Among the submissions, 43 were regular papers (2 withdrawn) and 6 were tool papers. After a thorough review process involving at least four independent evaluations for each paper by the distinguished Program Committee, 12 regular papers and 4 tool papers were accepted for presentation and inclusion in this volume. The acceptance rates were 29% for regular papers and 67% for tool papers, with a combined rate of 34%, comparable to prestigious conferences in the field. A Best Paper Award was presented to Edmund Clarke, Alexandre Donzé, and Axel Legay for their work on “Statistical Model Checking of Mixed-Analog Circuits with an Application to a Third-Order Delta-Sigma Modulator.” The conference also featured an impressive lineup of invited talks, panels, and special sessions from prominent figures in the field.
Achat du livre
Hardware and software: verification and testing, Hana Chockler
- Langue
- Année de publication
- 2009
Modes de paiement
Personne n'a encore évalué .