Proceedings publication: Springer Lecture Notes in Computer Science
|
 |
Haifa Verification Conference 2007
IBM Haifa Labs
|
October 23 - 25, 2007
Organized by IBM Haifa Research Lab
Introduction
Hardware verification and software testing are the processes of demonstrating that the intent of an application is preserved in its implementation. These processes are the main bottlenecks of the design and implementation processes, consuming 50% to 70% of the total development effort.
This tutorial teaches the audience the basics of hardware verification and software testing. We start by defining what hardware verification and software testing are all about, and how they fit in the development of hardware and software systems. We then describe the main approaches for hardware verification and software testing, namely formal and dynamic verification / testing. For each approach, we provide the main technologies and methodologies used in it and highlight its strengths and weaknesses.
Although the software testing and hardware verification communities share the same goals and face similar issues and challenges, they use different philosophies in their approaches. The same is true also for formal and dynamic verification. The tutorial will pay special attention to the commonalities and differences between the various verification/testing communities and describe migration of methodologies and technologies between the communities. The tutorial will also touch on cross-discipline technologies that combine more than one approach, such as hybrid verification.
Target audience
The tutorial is designed for non-experts who want to know what verification is all about and for people with knowledge in one aspect of verification (e.g., software testing) who want to become familiar with other aspects (e.g., formal verification).
One of the main goals of the tutorial is to give you the tools to better understand the talks that will be presented at the conference. The main hurdle in understanding technical talks is the jargon. Each academic community has its own set of phrases and terms that help communicate common knowledge in the field. Moreover, the same phrase can often mean different things in different jargons. For example, the word "simulation" has a very different meaning in the formal and non-formal worlds. Want to know more about it? Come to the tutorial!
Venue
The event will take place at the Caesarea Rothschild Institute (CRI) in the University of Haifa Education Building, room 570 (on the 5th floor). The official language of the tutorial is English. Participation is free, though registration is required.
Lecturers
- Cindy Eisner
- Shmuel Ur
- Avi Ziv
Organizer
Avi Ziv (aziv@il.ibm.com)
Program
| 08:30 |
Registration |
| 09:00 |
Introduction |
| 09:30 |
Dynamic verification for hardware |
| 11:00 |
Break |
| 11:30 |
Formal Verification |
| 13:00 |
Lunch |
| 14:00 |
Hybrid techniques |
| 14:30 |
Software testing |
| 15:30 |
Break |
| 16:00 |
Cross-fertilization between hardware verification and software testing |
| 16:45 |
Wrap up and summary |
| |
|
|
