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


titre documents joints

Official Announcement (en)

1 October 2022
info document : PDF
17.9 kb

Communiqué officiel (fr)

1 October 2022
info document : PDF
20.1 kb

Contact | Site Map | Site powered by SPIP 3.2.16 + AHUNTSIC [CC License]

info visites 1919767