@misc{indiciae892d3fd589b2,
  title = {ConnChecker: Automated Root-Cause Analysis for Formal Connectivity Check via Graph},
  author = {Do Ngoc Tiep and Nguyen Linh Anh and Luu Danh Minh},
  year = {2026},
  url = {https://arxiv.org/abs/2603.07943},
  note = {Source identifier: 2603.07943}
}