Home > Verimag > Actualités

Susanne Graf received the 2022 CAV Award

For her pioneering work on predicate abstraction, Suzanne 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.

for more information

The original paper GrafSaidi97.pdf

View online : http://i-cav.org/cav-award/