CAV 2007

Computer Aided Verification (CAV)

19th International Conference

July 3-7, 2007, Berlin, Germany


Schedule for Tuesday, July 3rd

Back to CAV Schedule.

Time

09:00-10:30

Invited Tutorials

Tom Henzinger
Modeling, Verification, and Synthesis of Component Interfaces (part I)
Room: Döblin I

Natarajan Shankar
A Tutorial on Satisfiability Modulo Theories (part I)
Room: Döblin II

10:30-11:00

Coffee Break

11:00-12:30

Invited Tutorials

Tom Henzinger
Modeling, Verification, and Synthesis of Component Interfaces (part II)
Room: Döblin I

Natarajan Shankar
A Tutorial on Satisfiability Modulo Theories (part II)
Room: Döblin Ii

12:30-14:00

Lunch Break

14:00-15:30

Invited Tutorials

Gary T. Leavens
A JML Tutorial: Modular Specification and Verification of Functional Behavior for Java (part I)
Room: Döblin I

Martin Fränzle
Verification of Hybrid Systems (part I)
Room: Döblin II

15:30-16:00

Coffee Break

16:00-17:30

Invited Tutorials

Gary T. Leavens
A JML Tutorial: Modular Specification and Verification of Functional Behavior for Java (part II)
Room: Döblin I

Martin Fränzle
Verification of Hybrid Systems (part II)
Room: Döblin II

19:00-open

Reception
at the Representation of Saarland at the Federal Government
In den Ministergärten 4
10117 Berlin