FM 2026
Mon 18 - Fri 22 May 2026 Tokyo, Japan
FM 2026 (series) / Special Track on TAP (Tests and Proofs) /

EUF-based Solving Dyck-Reachability with Applications to Static Analysis

Yide Du, Zhenbang Chen, Kunlin Liu, Guofeng Zhang, Xudong Wang, Ke Ma, Wei Dong, Ji Wang
FM 2026 TAP Track
small-avatar
Yide Du
College of Computer Science and Technology, NationalUniversity of Defense Technology
China
Zhenbang Chen
Zhenbang Chen
College of Computer, National University of Defense Technology
China
small-avatar
Kunlin Liu
School of Computer, National University of Defense Technology, China
China
small-avatar
Guofeng Zhang
College of Computer, National University of Defense Technology
China
small-avatar
Xudong Wang
College of Computer Science and Technology, NationalUniversity of Defense Technology
China
small-avatar
Ke Ma
small-avatar
Wei Dong
National University of Defense Technology
China
small-avatar
Ji Wang
National University of Defense Technology
China