External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

The Lattice-Theoretic Essence of Property Directed Reachability Analysis

Mayuko Kori, Natsuki Urabe, Shin-ya Katsumata, Kohei Suenaga, Ichiro Hasuo. The Lattice-Theoretic Essence of Property Directed Reachability Analysis. In Sharon Shoham, Yakir Vizel, editors, Computer Aided Verification - 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I. Volume 13371 of Lecture Notes in Computer Science, pages 235-256, Springer, 2022. [doi]

Authors

Mayuko Kori

This author has not been identified. Look up 'Mayuko Kori' in Google

Natsuki Urabe

This author has not been identified. Look up 'Natsuki Urabe' in Google

Shin-ya Katsumata

This author has not been identified. Look up 'Shin-ya Katsumata' in Google

Kohei Suenaga

This author has not been identified. Look up 'Kohei Suenaga' in Google

Ichiro Hasuo

This author has not been identified. Look up 'Ichiro Hasuo' in Google
runs on