Program
|
10.30 - 11.00
|
Coffee
|
|
11.00 - 11.30
|
Presentation Vasy project - Hubert Garavel
Overview of the current research at VASY
The CADP verification tools
The NTIF semantic model
|
|
11.30 - 12.00
|
Presentation Vertecs project
(general
and
ModoCop
specific) - Bertrand Jeannet
Overview of the current research at Vertecs
Current status on testing and verification
Project: combination of testing, abstract interpretation, and
deduction
|
|
12.00 - 12.30
|
Presentation DCS group Verimag - Michaël Perin
|
|
12.30 - 13.00
|
Presentation Lande project - Thomas Jensen
|
|
13.00 - 14.30
|
Lunch
|
|
14.30 - 15.00
|
Presentation Lemme project - Marieke Huisman
Current work on verification of (sequential) JavaCard programs
Extension of Java Modeling Language (JML) with temporal logic
First steps on specifying and verifying Jini
|
|
15.00 - 15.30
|
Presentation Oasis project - Eric Madelaine
Overview of the current research of the Oasis project
Proof of safety properties of Distributed Java Applications
Project: a platform for analysis and verification of Distributed Java
|
|
15.30 - 16.00
|
Coffee
|
|
16.00 - 17.00
|
Discussion
What are the concrete goals of the ARC?
Division of tasks
How do we keep each other updated of results?
. . .
|
