|
Available in (pdf 33KB)
9:15 Arrival
9:30 Welcome
Yossi Malka, Mgr., Verification Technologies, IBM
Haifa Labs
9:45 Formal Specification Using Sugar 2.0
Cindy Eisner, IBM Haifa Labs ( abstract , presentation ).
10:10 Distributed Symbolic Model Checking
Tamir Heyman, Technion ( abstract , presentation ).
10:40 Full Cycle Functional Coverage: Coverage
Success Stories
Avi Ziv, IBM Haifa Labs ( abstract , presentation ).
11:05 Break
11:20 Coverage Directed Test Generation for
Functional Verification Using Bayesian Networks
Shai Fine, IBM Haifa Labs ( abstract ).
11:50 Automatic Discovery of Mutual Exclusion
Algorithms
Yoah Bar-David and Gadi Taubenfeld (speaker),
Open University & IDC ( abstract ).
12:20 Verifying the Discovery (TM) System
Controllers Family - A Case Study
Kobi Pines, Galileo Technology ( abstract ).
|
|
|
|
12:50 Lunch
13:50 Keynote: From Aerospace to C. Elegans:
Modeling and Analyzing the Behavior of Complex
Reactive Systems
David Harel, Weizmann Institute of Science ( abstract ).
14:40 Improved Abstraction/Refinement Verification
Algorithms with Backtracking and Layering
Sharon Barner, IBM Haifa Labs ( abstract , presentation ).
15:10 Information-flow Models for Shared Memory
Hagit Attiya, Technion ( abstract , presentation ).
15:40 Break
16:00 What�s Between Constraint Satisfaction and
Random Test Program Generation
Roy Emek, IBM Haifa Labs ( abstract , presentation ).
16:30 Banias - Design and Verification of a
Mobile-specific CPU
Ron Friedman, Intel ( abstract ).
17:00 Concluding Remarks
Michael Rodeh, Director,IBM Haifa Labs
|
|