Page d'accueil

Appel à communication

Appel à communications
pour la session outils

Soumissions

Programme

Texte des communications

Conférences invitées

Tutoriaux

Localisation - Hôtels

Comités

Conférences précédentes

Céline Guillemot
Secrétariat AFADL
LIFC - 16, Route de Gray
25030 BESANCON Cedex
FRANCE
Tel : +33 (0)3 81 66 64 55
Fax : +33 (0)3 81 66 64 50
guillemot@lifc.univ-fcomte.fr

L'atelier AFADL, organisé en 1997 au CERT/ONERA à Toulouse, en 1998 au LISI/ENSMA au Futuroscope de Poitiers, en 2000 au LSR/IMAG à Grenoble, en 2001 au LORIA à Nancy et en 2003 à l'IRISA à Rennes a vocation à rassembler les acteurs académiques et industriels intéressés par l'application de techniques formelles aux différents stades du développement de logiciels.

Cet atelier a pour objectif de faire le point sur les techniques et outils, fondés sur des approches formelles, permettant d'assurer un certain niveau de confiance dans la construction de logiciels.

Les thèmes portent aussi bien sur la définition, l'évaluation et la validation de modèles de développement que sur la définition de méthodes et d'outils orientés vers l'assistance à la vérification (preuve et vérification algorithmique), à la synthèse de programmes ou à leur validation par le test à partir de modèles formels.