통화37916
시가 총액$ 2.25T-0.44%
24시간 거래량$ 23.56B-78.4%
지배력BTC56.67%-0.10%ETH8.90%-0.15%
ETH 가스0.07 Gwei
Cryptorank
코인
상위 100 코인
시가총액 기준 상위 100개 암호화폐
트렌딩 암호화폐
트렌딩 코인 및 토큰
성과
암호화폐의 시장 성과 추적
최근 상장
최근 30일 내에 추가된 암호화폐
상승
지난 24시간 동안 가장 빠르게 성장한 암호화폐
모든 카테고리
카테고리별로 정렬된 암호화폐
역대 최고
최근 최고가에 도달한 암호화폐
블록체인
주요 블록체인 지표 분석 및 비교
글로벌 시장 데이터
글로벌 암호화폐 차트: 시장 심리 및 흐름
생태계
블록체인 플랫폼 탐색: 생태계 프로젝트, TVL 및 기타 주요 메트릭
모금
자금 조달 라운드
최근 암호화폐 VC 투자
펀드
VC 펀드 및 투자자의 암호화폐 포트폴리오
분석 대시보드
암호화폐 모금 분석 대시보드
IDO/ICO
IDO/ICO
예정/활성/과거
IDO 런치패드 ROI
IDO 런치패드 성과 분석
런치패드
IDO/IEO/ICO 플랫폼
CEX 런치패드 ROI
CEX 런치패드 성과 분석
런치풀
예정/활성/과거
분석 대시보드
공개 토큰 판매 대시보드
노드 판매
예정/활성/과거
거래소
CEX
스팟 암호화폐 거래소
CEX 상장 성과
CEX에서의 토큰 상장 후 ROI 분석
DEX
탈중앙화 암호화폐 거래소
토큰 잠금 해제
토큰 잠금 해제
토큰 출시 일정 및 베스팅 일정
분석
심층 토큰 잠금 해제 통찰
VC 압력
VC로부터 가격 압박 위험이 있는 토큰
API
시장 API
API를 통한 실시간 및 역사적 암호화폐 시장 데이터
MCP
AI 네이티브 시장 데이터 접근
가격
API 계획, 한도 및 가격 옵션 탐색
문서
API 엔드포인트, 쿼리, 매개변수 및 응답 예시
제품
연구
암호화폐 시장 통찰, 보고서, 최신 뉴스 및 미디어
예측 시장
예측 시장을 위한 올인원 분석
히트맵
암호화폐 시장 상태 시각화
인물
인물 통합 분석
알림
암호화폐 신호 및 가격 알림
드롭 헌팅
잠재적 에어드랍 및 활동
위젯
사이트에 유용한 위젯
선물 및 옵션
비트코인 및 이더리움 선물 및 옵션 통계 분석
제휴 프로그램
가입하고 새로운 구독자를 추천하여 수익을 올리세요!
보상
작업을 완료하고 보상을 받으세요
변환기
암호화폐 변환기
시장 데이터 API
API 계획의 세부정보 확인
관심 목록포트폴리오
/
/
Open report modal
문제 보고
Runtime Verification

Runtime Verification  

7 개의 관심 목록

블록체인 서비스

상태

일반 정보

자금 및 후원자

설명

런타임 검증(RV)은 프로그램이 실행 중에 지정된 속성을 충족하는지 확인하기 위해 모니터링하는 동적 소프트웨어 분석 기법입니다.

Runtime Verification란?

Runtime Verification (RV)은 소프트웨어가 실행되는 동안 프로그램을 모니터링하여 정해진 속성을 충족하는지 확인하고 버그를 감지하는 동적 소프트웨어 분석 기술입니다. 블록체인에서 RV는 스마트 계약과 가상 머신의 보안성과 신뢰성을 강화하는 데 필수적입니다.