Hubert Garavel au forum Méthodes Formelles - Le model checking en action

Hubert Garavel membre de l’équipe CONVECS participera à la 4ème journée du forum Méthodes Formelles - Le model checking en action - à Toulouse au LAAS-CNRS. Il y présentera La boîte à outils CADP.

Ce forum est retransmis en direct dans le grand amphitéâtre Inria Grenoble Rhône-Alpes (Montbonnot), de 8h45 à 17h30. Informations & inscriptions.