.md 파일은 명세서가 아니다: 형식 분석을 통한 요구사항 격차 찾기

.md File is not a specification: Using formal analysis to find requirements gaps