@misc{indiciae840563e3f8fc,
  title = {SPECA: Specification-to-Checklist Agentic Auditing for Multi-Implementation Systems -- A Case Study on Ethereum Clients},
  author = {Masato Kamba and Akiyoshi Sannai},
  year = {2026},
  url = {https://arxiv.org/abs/2602.07513},
  note = {Source identifier: 2602.07513}
}