Introduction aux méthodes formelles
Olivier Ly
LaBRI - Université Bordeaux 1

  1. Initiation à la vérification statique : le système Esc/Java
    TP-EscJava-linux
    TP-EscJava-windows
    le tri

  2. Initiation au model checking : le système SMV
    tp_smv.tgz
    smv2java : compilation de modèle smv en java (projet tuteuré étudiant LP Bordeaux 1 - 2005)
    le modèle des feux rouges
    solution pour les feux rouges

  3. Initiation au langage caml

solution feux smv

solution tri escjava

annale 2006