Susanne Graf a recu le prix CAV 2022

Pour son travail sur l’abstraction de prédicats, Suzanne 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.

Pour plus d’information

L’article original GrafSaidi97.pdf


titre documents joints

Official Announcement (en)

1er octobre 2022
info document : PDF
17.9 ko

Communiqué officiel (fr)

1er octobre 2022
info document : PDF
20.1 ko

Contact | Plan du site | Site réalisé avec SPIP 3.2.16 + AHUNTSIC [CC License]

info visites 1922186