홈 > 표준화 개요 > TTA의 표준현황
| 표준번호 | TTAE.IT-F.751.12 | 구표준번호 | |
|---|---|---|---|
| 제개정일 | 2024-12-06 | 총페이지 | 21 |
| 한글표준명 | 스마트 계약 정형 검증을 위한 프레임워크 | ||
| 영문표준명 | Framework for formal verification of smart contract | ||
| 한글내용요약 | 스마트 계약은 계약의 이행 여부를 확인하는 사람의 개입과 비용 없이 계약의 지불 방법 과 페이백을 직접 집행한다. 그리고 계약 실행 및 검증 과정을 네트워크에 자동화하여 복잡한 비즈니스 계약을 줄이는 데 사용할 수 있다. 그러나 스마트 계약은 분산원장기술 에서 생성되는 일련의 프로그램 코드이며, 스마트 계약을 실행하는 과정에서 문제가 발 생할 수 있다. 프로그램 실행 환경에서 발생하는 문제를 해결하기 위한 방법으로 정형 검증이 있다. 이 표준에서는 스마트 계약에 대한 정형 검증 프레임워크, 프레임워크의 개 요, 요구사항 및 아키텍처, 정형 방법 구성 요소를 명시한다. | ||
| 영문내용요약 | Smart contracts can be used to reduce complex business contracts by directly enforcing the contract's payment methods and paybacks. And by automating the process of contract execution and verification into the network, without the intervention and cost of the person checking the contract's performance. However, smart contracts are a series of program codes generated on distributed ledger technology (DLT) and problems may occur in the process of executing the smart contract. As a method to solve problems that occur in the program execution environment, there is a formal verification. This standard specifies the formal verification framework for smart contract on DLT, its overview, requirement and architecture in its framework, as well as the main technical direction of its formal method component. | ||
| 국제표준 | |||
| 관련파일 |
 TTAE.IT-F.751.12.pdf
| ||
