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
|
