본 논문은 Python 기반의 연합 학습 프레임워크를 소개하고, 해당 프레임워크 상의 연합 학습 알고리즘을 ChatGPT를 이용하여 CSP(Communicating Sequential Processes) 프로세스로 자동 변환하는 방법을 제시합니다. 기존에는 수동으로 변환하였으나, ChatGPT를 활용하여 자동화함으로써 효율성을 높였고, 변환된 CSP 프로세스는 PAT 모델 검증기를 통해 안전성과 활성 속성을 검증합니다. 실험을 통해 중앙 집중식과 분산식 연합 학습 알고리즘 모두 성공적으로 변환 및 검증되었음을 보였습니다.