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/
Attached documents
Official Announcement (en)
info document : PDF
17.9 KiB
Communiqué officiel (fr)
info document : PDF
20.1 KiB
