Pour son travail sur l’abstraction de prédicats, Susanne Graf (VERIMAG) et Hassen Saidi (SRI International) ont reçu le prix CAV 2022. Leur article Construction of abstract state graphs with PVS, publié à CAV 1997, propose une méthode de construction automatique du graphe d’état abstrait d’un système arbitraire à l’aide de l’assistant de preuve PVS.
Accueil > Verimag > Actualités
Susanne Graf a recu le prix CAV 2022
Voir en ligne : http://i-cav.org/cav-award/
Documents joints
Official Announcement (en)
info document : PDF
17.9 kio
Communiqué officiel (fr)
info document : PDF
20.1 kio
