TY  - RPRT
TI  - Exploiting Adjoints in Property Directed Reachability Analysis
AU  - Mayuko Kori
AU  - Flavio Ascari
AU  - Filippo Bonchi
AU  - Roberto Bruni
AU  - Roberta Gori
AU  - Ichiro Hasuo
PY  - 2023
UR  - https://arxiv.org/abs/2307.02817
ID  - 2307.02817
ER  -