Exploiting Adjoints in Property Directed Reachability Analysis - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Mayuko Kori, Flavio Ascari, Filippo Bonchi, Roberto Bruni, Roberta Gori, Ichiro Hasuo. Exploiting Adjoints in Property Directed Reachability Analysis. In Constantin Enea, Akash Lal, editors, Computer Aided Verification - 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II. Volume 13965 of Lecture Notes in Computer Science, pages 41-63, Springer, 2023. [doi]

This author has not been identified. Look up 'Mayuko Kori' in GoogleThis author has not been identified. Look up 'Flavio Ascari' in GoogleThis author has not been identified. Look up 'Filippo Bonchi' in GoogleThis author has not been identified. Look up 'Roberto Bruni' in GoogleThis author has not been identified. Look up 'Roberta Gori' in GoogleThis author has not been identified. Look up 'Ichiro Hasuo' in Google

runs on WebDSL