Ce numéro spécial a été préparé suite aux 7èmes rencontres de l'atelier AFADL, qui s'est tenu en janvier 2006 à Besançon. Qu'est ce qu'AFADL ? C'est un lieu de rencontre et d'échanges entre le monde académique et le monde industriel de la communauté francophone sur les méthodes formelles pour le développement de logiciels. Les thèmes abordés 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, à la synthèse de programmes ou à leur validation par le test à partir de modèles formels. AFADL encourage la participation des jeunes chercheurs offrant une durée d'exposé permettant aux orateurs de présenter le contexte de leurs recherches avant de mettre en valeur leur apport personnel.