Les cinquièmes journées annuelles du GT Vérification seront organisées conjointement avec les journées du GT ALGA et auront lieu les 29, 30 et 31 mai 2017, dans l'amphi 3 (rouge) de la faculté des sciences de l'UPEC, à Créteil.

Les journées du GT-Vérif visent à rassembler la communauté française en vérification formelle, et en particulier les chercheurs juniors, doctorants et post-doctorants, avec pour objectif de favoriser les collaborations, l'ouverture sur des thématiques liées à la vérification, et pourquoi pas préparer de futures visites de doctorant(e)s.

Elles ont pour ambition de couvrir tous les domaines de la vérification formelle, incluant (entre autres !) :

• la vérification informatique de systèmes, modélisant des systèmes de freinage aux protocoles de communications en passant par les programmes,
• l'emploi de techniques de preuve automatiques ou interactives (model-checking, déduction automatique, assistants de preuve, solveurs SMT, etc. ainsi que leurs combinaisons),
• l'utilisation de logiques pour raisonner sur les propriétés des systèmes (par exemple les logiques temporelles, spatiales, probabilistes ou avec données),
• les techniques d'abstraction pour la vérification.