TY  - RPRT
TI  - Beyond Code Reasoning: Specification-Anchored Auditing of Multi-Implementation Distributed Protocols
AU  - Masato Kamba
AU  - Hirotake Murakami
AU  - Akiyoshi Sannai
PY  - 2026
UR  - https://arxiv.org/abs/2604.26495
ID  - 2604.26495
ER  -