Skip to main content

RuleBase Parallel Edition

Formal Verification

Call for Participation
IBM Haifa Workshop on Model Checking
May 10-12, 1999
IBM Haifa Labs
Haifa, Israel

Technical Program

The program is not finalized. Some of the abstracts may be missing.

monday, may 10, 1999, auditorium 506, hrl bldg.
 
9:00 - 12:30 formal verification tutorials
9:00-9:45 minutes danny geist, research, haifa overview of partial search and semi-formal techniques
9:45 - 10:30 eitan farchi, research, haifa using abstract interpretation for formal verification
10:30 - 11:00 coffee break
11:00 - 11:30 sharon keidar, research, haifa a sneak preview of some upcoming rulebase features
11:30 - 12:15 danny geist, research, haifa "have i written enough properties?" - on the coverage problem in formal verification 
12:15 - 13:30 lunch break
13:30 - 15:00 technical session, user experience
13:30 - 14:00 shoham ben-david, research, haifa pathfinder: interactive formal verification
14:00 - 15:00 demos, research, haifa a few demos
15:00 - 15:30 coffee break
15:30 - 16:30 technical session
15:30 - 16:00 ilan beer & claudiu schiller,research, haifa a formal approach to interface specification (tbc/pci case study) 
16:00 - 16:30 kerstin schelm server group, pok/boeb formal verification update from s/390

tuesday, may 11, 1999, auditorium 506, hrl building

open session with fv leaders in industry & academia
 

wednesday, may 12, 1999, auditorium 506, hrl bldg.

 working sessions (optional)
09:00 - 12:00 ilan beer and sharon keidar, research, haifa overview of new rulebase features
12:00-13:30 lunch break  
13:30-17:00 ilan beer,  research, haifa rulebase games