IBM Israel
Skip to main content
Search IBM Research
   Home  |  Products & services  |  Support & downloads  |  My account
Select a Country Select a country
IBM Research Home IBM Research Home
IBM Haifa Labs Homepage IBM Haifa Labs Home
IBM Haifa Labs Homepage IBM Haifa Labs Leadership Seminars

Verification Seminar 2002

Visitors information
Confirmed participants
Verification in HRL
Photos from the seminar

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
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

  About IBM  |  Privacy  |  Terms of use  |  Contact