ModoCop meeting

March 13th, 2002

INRIA Sophia-Antipolis


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?
  • . . .

  • Participants (11/03/02)

    Pablo Argon (France Telecom) Philippe Audebaud (Lemme), Gilles Barthe (Lemme), Yves Bertot (Lemme), Rabea Boulifa (Oasis), Néstor Cataño (Lemme), Kuntal Das Barman (Lemme), Daniel Fridlender (Cordoba), Hubert Garavel (Vasy), Marieke Huisman (Lemme), Bertrand Jeannet (Vertecs), Thomas Jensen (Lande), Frédéric Lang (Vasy), Eric Madelaine (Oasis), Michaël Perin (Verimag)


    Back to the ModoCop homepage.


    Marieke Huisman
    Last modified: Mon Mar 18 18:16:13 MET 2002