Pôle AESE Pôle Minalogic

Forum Méthodes Formelles

Cycle de conférences

RTRA AESE/IFSE

"Le Model-Checking en action"



Toulouse Jeudi 16 Octobre 2014
Salle de Conférences LAAS-CNRS
Plan d'accès
Toulouse Accueil au LAAS-CNRS : Inscription par mail auprès de F. Decavele Pôle AESE
LAAS-CNRS

Retransmis en direct :

Programme

  • 08h45 -09H00 Accueil des participants

  • 09h00-09h05 « Courte introduction à la journée » Slides/Vidéo
    Agusti Canals (CS Communication & Systèmes)

  • 09h05-10h00 « Introduction au Model-Checking » Slides/Vidéo
    Radu Mateescu (INRIA Grenoble)

  • 10h00-11h00 FIACRE/TINA
  • 11h15 -11h30 : Pause Café

  • 11h30-12h30 CADP
  • 12h30-14h00 Repas

  • 14h00-14h45 Outil SYSTEREL Smart Solver



  • 14h45-15h30 UPPAAL
  • 15h30-16h00 Pause café

  • 16h00-16h45 Retour d’expérience sur le model checking
  • 16h45-17h30 : Table Ronde animée par Mattéo Bordin (Adacore) Vidéo
    « ROI sur le Model checking (reprenant les idées fortes exposées dans la journée) : les gains, à quels endroits du cycle de vie, les limites … »

    home