Currencies38131
Market Cap$ 2.28T+0.60%
24h Spot Volume$ 24.48B-24.9%
DominanceBTC56.44%+0.26%ETH9.64%+1.41%
ETH Gas0.10 Gwei
Cryptorank
Coins
Top 100 Coins
Top 100 cryptocurrencies by market capitalization
Trending Cryptos
Trending Coins and Tokens
Performance
Track market performance of cryptocurrencies
Recently Listed
Recently added cryptocurrencies in the last 30 days
Gainers
The fastest-growing cryptos over the past 24 hours
All Categories
Cryptocurrencies sorted by categories
All Time High
Cryptocurrencies that have recently reached their highest all time price
Blockchains
Analyze and compare key blockchain metrics
Global Market Data
Global crypto charts: Market sentiment & flow
Ecosystems
Explore blockchain platforms: ecosystem projects, TVL, and other key metrics
Fundraising
Funding Rounds
Recent crypto VC investments
Funds
Crypto portfolios of VC funds and investors
Analytics Dashboard
Crypto Fundraising Analytic Dashboard
IDO/ICO
IDO/ICO
Upcoming/Active/Past
IDO Launchpad ROI
Analyze the performance of IDO Launchpads
Launchpads
IDO/IEO/ICO platforms
CEX Launchpad ROI
Analyze the performance of CEX Launchpads
Launchpool
Upcoming/Active/Past
Analytics Dashboard
Public Token Sales Dashboard
Node Sale
Upcoming/Active/Past
Exchanges
CEX
Spot crypto exchanges
CEX Listing Performance
Analyze ROI after token listings on CEX
DEX
Decentralized crypto exchanges
Token Unlocks
Token Unlocks
Token releases calendar and vesting schedule
Analytics
In-depth token unlock insights
VC Pressure
Tokens at risk of price pressure from VCs
API
Market API
Real-time and historical crypto market data via API
MCP
AI-native access to Market Data
Pricing
Explore API plans, limits, and pricing options
Documentation
API endpoints, queries, parameters, and response examples
Products
Research
Crypto market insights, reports, latest news, and media
Prediction Markets
All-in-one analytics for prediction markets
Heatmaps
Cryptocurrency market state visualization
Persons
All-in-one analytics for persons
Alerts
Cryptocurrency signals and price alerts
Drop Hunting
Potential airdrops and activities
Widgets
Useful widgets for your site
Futures and Options
Analyze Bitcoin and Ethereum futures and options statistics
Affiliate Program
Join and earn by referring new subscribers!
Rewards
Complete tasks and earn rewards
Converter
Cryptocurrency converter
Market Data API
Check out the details of our API plans
WatchlistPortfolio
/
/
Open report modal
Report issue
Runtime Verification

Runtime Verification  

7 Watchlists

Blockchain Service

Status

General Info

Funds and Backers

Description

Runtime Verification (RV) is a dynamic software analysis technique used to monitor programs during execution to ensure they meet specified properties.

What is Runtime Verification?

Runtime Verification (RV) is a dynamic software analysis technique used to monitor programs during execution to ensure they meet specified properties and detect bugs. In blockchain, RV is crucial for enhancing the security and reliability of smart contracts and virtual machines.

Trending Coins and Tokens Flame icon