Verifereum

Verifereum은 고차 논리(#HOL)로 구현된 Ethereum의 공식 모델로, 스마트 계약에서 컴파일러에 이르기까지 Ethereum 생태계(#EVM) 내 애플리케이션 및 도구의 검증을 가능하게 하여 해킹을 방지하고 가능한 가장 높은 취약점 없는 코드 보증을 제공하는 것을 목표로 합니다. 태그: Infra Dev Platform Security Solutions Ecosystem(): Ethereum Founded: