기술 검색
스마트 컨트랙트 검증 장치 및 방법
| 특허명 | 스마트 컨트랙트 검증 장치 및 방법 | ||
| 출원인 | 고려대학교 산학협력단 | 출원일 | 2019년 10월 7일 |
| 공개일 | 2021년 4월 15일 | 공고일 | 2021년 6월 24일 |
| 요약 |
스마트 컨트랙트 검증 장치 및 방법에 관한 것으로 스마트 컨트랙트 검증 장치는 적어도 하나의 불변식 후보를 포함하는 불변식 후보군을 생성하는 불변식 처리부 및 컨트랙트의 적어도 하나의 검증 대상을 획득하고, 상기 불변식 후보를 이용하여 상기 적어도 하나의 검증 대상 각각에 대한 검증 조건을 생성하는 검증부를 포함할 수 있으며, 상기 검증부는 상기 적어도 하나의 검증 대상 중에서 반환 대상을 검출하여 상기 불변식 처리부로 전달하되, 상기 반환 대상은 타당하지 않은 검증 조건에 대응하는 검증 대상을 포함할 수 있다.
|
||
관련 특허
| 특허명 | 출원일 | ||
|---|---|---|---|
| 업그레이드 가능한 스마트 컨트랙트 방법 | 2018년 11월 30일 | ||
| 아이폿 | 2019년 6월 28일 | ||
| 치과 영상의 판독 데이터 생성 시스템 | 2017년 8월 1일 | ||
| 서비스 기능의 지연 시간 측정 시스템, 장치 및 방법 | 2020년 8월 6일 | ||
| 고주파 레이더를 이용한 이동 물체 검출 장치 및 방법 | 2015년 11월 16일 | ||
