TY  - RPRT
TI  - SPECA: Specification-to-Checklist Agentic Auditing for Multi-Implementation Systems -- A Case Study on Ethereum Clients
AU  - Masato Kamba
AU  - Akiyoshi Sannai
PY  - 2026
UR  - https://arxiv.org/abs/2602.07513
ID  - 2602.07513
ER  -