Skip to content

Beta

Comprar cripto
Futuros 50x
Mercados
- Trading spot Trade crypto pairs at live market prices
- Trading de CFDs Coming Soon Trade indices, forex and commodities with leverage
- Earn Grow crypto with fixed-term earning products
Análisis Daily, weekly and technical market takes
Aprende Cripto Guides from first trade to advanced strategy
Aprende CFDs How leverage, margin and CFDs work
- Currencies
- Stocks
- Indices
- Commodities
- Crypto CFDs
- ETFs
- Fixed Income
Blog Market explainers, insights and product news
Glosario de Trading Plain definitions for every trading term

Login Register

Português (PT)
Русский (RU)
Español (ES)
English (EN)

Home
Markets
Easy Trade
Futures
Wallet

Análisis
Research

Análisis
All Análisis
Aprende Cripto
Research

Aprende Cripto
All Aprende Cripto
Aprende CFDs
Research

Aprende CFDs
All Aprende CFDs
Blog
Research

Blog
All Blog
Trading Glossary

Inicio›Trading Glossary›Formal Verification

Trading Glossary

Formal Verification

Mathematically proving that contract code satisfies a specified property under all conditions.

← All terms: F

Buy Crypto

Buy Bitcoin
Buy Ethereum
Buy Ripple
Buy Cardano

Mercados

Crypto Markets
Bitcoin Price
Ethereum Price
Ripple Price
Dogecoin Price
Shiba Inu Price
Floki Price

Insights

Calendario Económico
Mapa de Calor Macro Global
Correlación entre Activos
Operaciones de Insiders
Filtro de Acciones
Directorio de Instrumentos

Research

Análisis
Aprende Cripto
Aprende CFDs
Glosario de Trading
Blog

Trade

Spot Trading
Trading de CFDs Coming Soon

Empresa

Sobre Nosotros
Ayuda y Soporte
Empleo

Legal y Regulatorio

Terms & Agreements
Privacy & Data
Risk & Compliance
Policies

Finanzas

OTCN Earn

Futuros

Futures Trading

Social Media

E-mail [email protected]

OTCN S.R.L. Registration Number: 3-102-963830 Registered Address:

Mata Redonda, Barrio Las Vegas
San José, San José, Costa Rica

OTCN 2026. All rights reserved.