○ 발명의 명칭: 프로그램 타입 안정성 탐지 장치 및 방법

○ 출원/등록: 출원

○ 출원/등록번호: 10-2025-0194608

○ 국내/국제: 국내

○ 출원/등록일: 2025.12