A paper by Mayuko Kori, Ichiro Hasuo and others was awarded as Distinguished Paper Award of 35th International Conference on Computer Aided Verification.
Authors
Mayuko Kori (National Institute of Informatics & SOKENDAI)
Flavio Ascari (University of Pisa)
Filippo Bonchi (University of Pisa)
Roberto Bruni (University of Pisa)
Roberta Gori (University of Pisa)
Ichiro Hasuo (National Institute of Informatics & SOKENDAI)
Awarded Paper Title
Exploiting Adjoints in Property Directed Reachability Analysis
Mayuko Kori is a PhD student at SOKENDAI/NII, a JSPS Research Fellow (DC), and a research assistant at ERATO MMSD (Group 0).