IBM Logo
IBM Research Lab in Haifa
Introduction
Agenda
Participants
FV Research in HRL
Advanced RuleBase Course
January 16-18 2001
IBM Haifa Research Laboratory

Agenda

  Tuesday 16.1.01
09:30 Introduction
10:30 Advanced Environment Modeling
11:30 Advanced Environment Modeling (cont.)
12:30 Lunch
13:30 Advanced Specification with Sugar I
14:30 Advanced Specification with Sugar II
15:30 The SAT Verification Engine
16:30 Fairness
 
Wednesday 17.1.01
09:30 Advanced Specification with Sugar III
10:30 Advanced Specification with Sugar IV
11:30 FoCs ("Formal CheckerS")
12:30 Lunch
13:30 Theory Of Model Checking
14:30 Formal Protocol Verification
15:30 Addressing Size Problems
16:30 Effective BDD Reordering
 
Thursday 18.1.01
09:30 Advanced Options
10:30 Advanced Options
11:30 FV Methodology
12:30 Lunch
13:30 RuleBase Riddles
14:30 RuleBase Riddles
15:30 Open: Questions & Requests
16:30 Open: Questions & Requests