국가R&D로 수행 중인(또는 수행된) 연구과제 정보입니다. ■ 과제 개요 · 과제명: LLM 에이전트를 통해 C-러스트 포인터 번역의 올바름을 정형 검증하는 베리코딩 기술 개발 · 예산사업명: 개인기초연구(과기정통부) · 기준년도: 2026년 · 총 연구기간: 2026-09-01 ~ 2028-08-31 · 당해연도 연구기간: 2026-09-01 ~ 2027-08-31 · 수집 분야: 사회과학 ■ 수행 주체 · 과제수행기관: 울산과학기술원 · 연구책임자: 홍재민 · 부처명: 과학기술정보통신부 ■ 연구비 (당해년도) · 정부투자연구비: 63,957,000원 ■ 한글키워드 · 코드 번역, 정형 검증, 베리코딩, LLM 에이전트, 포인터 ■ 영문키워드 · Code translation, Formal verification, Vericoding, LLM agent, Pointer ■ 연구내용 최종 목표 달성을 위해 연구과제는 2년에 걸쳐 진행하며, 1차년도에는 올바름의 기준이 되는 번역 전 코드의 정형 명세 생성에 주력하고, 2차년도에는 번역 생성 및 명세에 기반한 번역의 올바름 증명에 집중한다. 검증 프레임워크로는 Rocq 기반의 RefinedRust를 사용… ■ 원문 확인 · 과제고유번호: 2710111712 · NTIS 과제상세페이지: https://www.ntis.go.kr/project/pjtInfo.do?pjtId=2710111712 (NTIS 로그인 후 조회할 수 있습니다) ※ 출처: 국가과학기술지식정보서비스(NTIS) — 공공저작물 제1유형(출처표시) 위에 없는 상세 정보는 NTIS 과제상세페이지에서 확인해 주세요.