IMAG at FM'99 - Introduction

Welcome to the IMAG booth at FM'99. In this document you will find a short presentation of the IMAG federation and of the two laboratories represented on this booth, and a synthetic description of the tools we intend to demonstrate at FM'99. A schedule of the tool demonstrations should be displayed at the booth. We hope you will be interested by our presentations and will be happy to answer your questions, take an appointment for a more extensive demo, or give you more detailed documentation on the tools.

Bienvenue sur le stand de l'IMAG à FM'99. Vous trouverez dans ce document une brève présentation de la fédération IMAG et des deux laboratoires représentés sur ce stand, ainsi qu'une description synthétique des outils que nous comptons présenter à FM'99. L'horaire de nos démonstrations sera affiché sur le stand. Nous espérons qu'elles vous intéresseront et serons heureux de répondre à vos questions, de prendre rendez-vous pour vous proposer une démonstration plus approfondie, ou de vous remettre des documents plus complets sur nos outils.

Yves Ledru
Laurent Mounier
Coordinators for the IMAG booth

Talks by members of IMAG at FM'99

IMAG is not only present at the tool exhibition; several talks will be given during the main conference or in the associated workshops and tutorials.

  • Main conference
    • Karine Altissen
    • Didier Bert (for Yann Rouzaud)
    • Lydie du Bousquet
    • Susanne Graf
    • Michel Lévy
    • Joseph Sifakis
  • VDM workshop
    • Yves Ledru, Marie-Laure Potet
  • Avionics tutorial 
    • Nicolas Halbwachs
  • Test tutorial
    • Farid Ouabdesselam

Contents of this folder

  1. A presentation of the IMAG federation

  2. A presentation of the LSR laboratory

  3. A presentation of the VERIMAG laboratory

  4. The tools displayed on the IMAG booth:
    IF, Lutess, and RoZ

  5. Other tools of IMAG not demonstrated at FM'99:
    InVeSt, KRONOS, and Lustre


We would like to thank everyone who contributed to prepare this tool exhibition : Lydie du Bousquet, Sophie Dupuy, Susanne Graf, Paul Jacquet, Yassine Lakhnech, Farid Ouabdesselam,  Pascal Raymond, Jean-Luc Richier, Joseph Sifakis, Sergio Yovine, Martine Pernice, Solange Roche, Lyliane di Giacomo, Claudia Roncancio, Daniel Iglesias, Clothilde Chaland, Nico Plat, Jacques Cazin, and VERILOG.