TY  - RPRT
TI  - The Lattice-Theoretic Essence of Property Directed Reachability Analysis
AU  - Mayuko Kori
AU  - Natsuki Urabe
AU  - Shin-ya Katsumata
AU  - Kohei Suenaga
AU  - Ichiro Hasuo
PY  - 2022
UR  - https://arxiv.org/abs/2203.14261
ID  - 2203.14261
ER  -