Journées annuelles du groupe de travail Vérification du GDR Informatique et Mathématiques

Les prochaines journées annuelles du GT Vérif auront lieu du 17 au 19 juin 2019 au bâtiment S sur le site de Centrale Nantes.

Elles 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 et l’ouverture sur des thématiques liées à la vérification. Les domaines inclus sont :

• 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.

Programme :

• Mardi 18/06 16:10-17:00 : Olivier H. Roux (LS2N) : Model-checking real-time systems with Roméo
• Mercredi 19/06 9:00-9:50 : Charlotte Truchet (LS2N) et Ghiles Ziat (LIP6) : Programmation par contraintes et interprétation abstraite

Pour plus d’infos, voir le site http://gt-verif.loria.fr/Wiki.jsp?page=JA-2019