@misc{indiciae3eef66fada94,
  title = {CHC-based Automated Verification of WebAssembly Programs},
  author = {Akihisa Yagi and Ken Sakayori and Naoki Kobayashi},
  year = {2026},
  url = {https://arxiv.org/abs/2607.17220},
  note = {Source identifier: 2607.17220}
}