Coopération entre les partenaires.

La complémentarité des équipes des deux laboratoire dans la maîtrise de différentes techniques est fondamentale à la réalisation du projet. VERIMAG apporte son expertise dans la vérification des programmes utilisant de la mémoire dynamique et les méthodes d'analyse statique et d'abstraction. LIAFA contribue avec ses résultats sur la vérification des programmes récursifs et la technique de ``regular model-checking''. Il faut aussi souligner que les deux équipes ont déjà produit des résultats communs, notamment dans la vérification de systèmes temporisés, les techniques d'accélération, le développement d'outils et l'expérimentation sur des études de cas.