Programme détaillé (prévisionnel)

Mercredi 3 avril

Conférence invitée AFADL

LORIA
Déduction automatique appliquée à l'analyse et à la vérification de systèmes infinis

Tutoriel AFADL

LORIA
Analyse de protocoles cryptographiques et composition de services Web

Conférence invitée GDR/GPL

Université du Luxembourg
Security Testing: a Key Challenge for Software Engineering

Session posters et demonstration d'outils

Session commmune AFADL, CIEL, GDR/GPL
  • (Poster) Stephan Merz et Hernán Vanzetto Automatic Verification of TLA+ Proofs with SMT Solvers
  • (Demo) David Deharbe, Pablo Frederico Dobal et Pascal Fontaine Solver : Le solveur SMT veriT
  • (Demo) Faqing Yang et Jean-Pierre Jacquot JeB : un cadre de simulation en JavaScript pour B événementiel
  • (Demo) Devid Delahaye, Catherine Dubois et Pierre-Nicolas Tollite RelExt : Synthèse de code à partir de spécifications inductives

Jeudi 4 avril

AFADL : Session 1

AFAL : Session 2

Conférence invitée AFADL

Laurent Voisin
Systerel
Validation formelle de données

AFADL : Session 3

Vendredi 5 avril

Conférence invitée GDR/GPL

Université de Franche-Comté
Génération de tests à partir de modèles - Retour sur 10 ans d'expérience de transfert de technologie

AFADL : Session 4