@misc{indiciaecd84d0efd092,
  title = {Proposal of an Automatic Verification Method for Network Configuration Model by Static Analysis},
  author = {Tomoya Fujita and Hikofumi Suzuki and Shinpei Ogata and Hiroaki Hashiura and Takashi Nagai and Kozo Okano},
  year = {2025},
  url = {https://arxiv.org/abs/2511.17950},
  note = {Source identifier: 2511.17950}
}