Susanne Graf received the 2022 CAV Award

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.

for more information

The original paper GrafSaidi97.pdf


Attached documents

Official Announcement (en)

1 October 2022
info document : PDF
17.9 KiB

Communiqué officiel (fr)

1 October 2022
info document : PDF
20.1 KiB

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

info visites 3933917