홈 > 표준화 위원회 > 표준화 전체 과제현황
| 과제번호 | 2019-1270 | 초안번호 | 2019-1270-01 |
|---|---|---|---|
| 기술위 코드 | TC010 | 프로젝트 코드 | PG1006 |
| 사무국담당자 | 이인송 (TTA) | ||
| 주 에디터 | 최윤철 (한국전자통신연구원) | ||
| 국문 과제명 | 스마트 계약 정형 검증을 위한 프레임워크 | ||
| 영문 과제명 | Framework for formal verification of smart contract | ||
| 과제구분 | 일반과제 | IPR 유무 | N |
| 제안기관 | 한국전자통신연구원 | 제안일자 | 2019-07-31 |
| 제/개정/폐지 | 제정 | 국/영문 | 국문 |
| 표준번호 | |||
| 추진단계 | 추진처리일 | 관련회의명 | 추진내역/결과 |
|---|---|---|---|
| 과제채택 | 2019-09-04 | 제111차 운영위원회 | |
| 초안작성중 | 2020-06-11 | PG1006 제9차(2020-3) 정기회의 | |
| 초안작성중 | 2020-05-20 | PG1006 2020-1차 회의 |
