Haifa verification conference 2007

Karen Yorav
2009 International Journal on Software Tools for Technology Transfer (STTT)  
This special section contains a selection of contributions originally presented at the Third Haifa Verification Conference (HVC'07). The scope of this conference covers all types of verification of both hardware and software systems. While there is widespread agreement on the importance of verification, it is clear that different systems require different approaches. Several distinct fields of research have developed, devoted to either software or hardware, or to a particular verification
more » ... ch such as formal or testing/simulation. Each of these paradigms has an extensive publication history and its own dedicated conference. Yet there is much to be gained from sharing knowledge and experience. HVC's goal is to serve as a venue for researchers from all fields of verification, enabling them to exchange ideas and learn from one another. It is our hope that by gathering these experts together in one conference, we are fostering the emergence of new trends that combine ideas and insights from different domains. Verification paradigms Verification approaches are generally categorized as dynamic or static. Dynamic verification means the system is executed, probably numerous times, and faults are identified by examining the progress and the results of each run. Static verification, on the other hand, attempts to verify a system without running it, by analyzing the system description in some way, without executing it on specific inputs. Of course, there are many interesting methods that are hard to categorize, but typically software testing and hardware simulation are considered dynamic
doi:10.1007/s10009-009-0116-3 fatcat:7vk47ug26nfvvmmffu5c7inycu