News

Award

A paper by NII Research Assistant KORI Mayuko, Prof. HASUO Ichiro and others was awarded as Distinguished Paper Award of CAV 2023

Conference

CAV 2023 - 35th International Conference on Computer Aided Verification

Award

CAV Distinguished Paper Award

Paper Title

Exploiting Adjoints in Property Directed Reachability Analysis

Name

KORI Mayuko(NII / Informatics Program, Graduate Institute for Advanced Studies, SOKENDAI)
Flavio Ascari(University of Pisa)
Filippo Bonchi(University of Pisa)
Roberto Bruni(University of Pisa)
Roberta Gori(University of Pisa)
HASUO Ichiro(NII)

Date

July 21th, 2023

Links
5918

SPECIAL