For her pioneering work on predicate abstraction, Susanne Graf (VERIMAG) and Hassen Saidi (SRI International) received the 2022 CAV award. Their paper Construction of abstract state graphs with PVS, published at CAV 1997, proposed a method to automatically build an abstract state graph of any system using the PVS theorem prover.
Home > Verimag > Actualités
Susanne Graf received the 2022 CAV Award
View online : http://i-cav.org/cav-award/
titre documents joints
Official Announcement (en)
info document : PDF
17.9 kb
Communiqué officiel (fr)
info document : PDF
20.1 kb
