통신 프로토콜에서 동작의 정확성을 보장하는 것은 분산 소프트웨어 시스템의 핵심 과제이며, 미세한 불일치는 교착 상태 (deadlock)로 이어질 수 있습니다. 이러한 환경에서는 프로토콜 정교화 (protocol refinement) — 즉, 정확성과 다른 구성 요소와의 호환성을 유지하면서 프로토콜을 안전하게 교체하는 것 — 가 필수적입니다. 대규모 언어 모델 (LLMs)은 코드 생성 및 프로그램 합성에서 강력한 능력을 보여주었지만, 정확한 동작을 가진 출력을 신뢰성 있게 생성하는 메커니즘은 부족합니다. 다자간 세션 타입 (MPST)과 같은 형식 명세 (formal specification) 접근 방식은 교착 상태 부재를 포함한 엄격한 보장을 제공하지만, 프로토콜 정교화를 자동으로 구축하는 데 있어서는 제한적인 지원을 제공합니다. 본 논문에서는 MPST 명세와 LLM에 의해 가이드되는 프로토콜 정교화 합성을 위한 프레임워크인 Syntropy를 제시합니다. Syntropy는 정교화 제약 조건을 생성 과정에 직접 통합하여, 생성된 변형들이 이러한 보장 사항을 충족하도록 합니다. 종합적인 평가 결과, Syntropy는 높은 구문 정확성을 유지하면서 95.6%~99.5%의 유효성을 달성하였으며, 여러 LLM에 걸쳐 다양하고 사소하지 않은 (non-trivial) 정교화 결과물을 생성함을 보여주었습니다.