The Lattice-Theoretic Essence of Property Directed Reachability Analysis
Authors: Mayuko Kori, Natsuki Urabe, Shin-ya Katsumata, Kohei Suenaga and Ichiro Hasuo
Paper Information
| Title: | The Lattice-Theoretic Essence of Property Directed Reachability Analysis |
| Authors: | Mayuko Kori, Natsuki Urabe, Shin-ya Katsumata, Kohei Suenaga and Ichiro Hasuo |
| Proceedings: | CAV 2022 All Papers |
| Editors: | Yakir Vizel, Sharon Shoham and Hari Govind Vediramana Krishnan |
| Keywords: | property directed reachability analysis, model checking, lattice theory, fixed point theory, category theory |
| Pages: | 21 |
| Talk: | Aug 07 16:00 (Session 92A: Software Verification and Model Checking) |
| Paper: |  |