loader image
bitcoin
Bitcoin (BTC) $ 17,059.69 0.57%
ethereum
Ethereum (ETH) $ 1,291.76 0.26%
tether
Tether (USDT) $ 0.999053 0.20%
bnb
BNB (BNB) $ 291.08 3.65%
usd-coin
USD Coin (USDC) $ 0.997515 0.34%
binance-usd
Binance USD (BUSD) $ 0.999903 0.12%
xrp
XRP (XRP) $ 0.391105 3.06%
dogecoin
Dogecoin (DOGE) $ 0.100213 4.51%
cardano
Cardano (ADA) $ 0.317354 0.74%
matic-network
Polygon (MATIC) $ 0.922157 0.34%
polkadot
Polkadot (DOT) $ 5.59 2.92%
staked-ether
Lido Staked Ether (STETH) $ 1,277.18 0.17%
okb
OKB (OKB) $ 22.15 1.78%
litecoin
Litecoin (LTC) $ 76.44 1.02%
shiba-inu
Shiba Inu (SHIB) $ 0.000009 0.27%
dai
Dai (DAI) $ 0.998596 0.30%
tron
TRON (TRX) $ 0.0544 1.02%
solana
Solana (SOL) $ 13.71 1.11%
uniswap
Uniswap (UNI) $ 5.98 2.82%
avalanche-2
Avalanche (AVAX) $ 13.10 0.16%
chainlink
Chainlink (LINK) $ 7.63 0.34%
wrapped-bitcoin
Wrapped Bitcoin (WBTC) $ 17,013.26 0.91%
leo-token
LEO Token (LEO) $ 3.77 2.99%
cosmos
Cosmos Hub (ATOM) $ 10.30 1.64%
ethereum-classic
Ethereum Classic (ETC) $ 19.72 2.32%
the-open-network
The Open Network (TON) $ 1.78 0.85%
monero
Monero (XMR) $ 144.08 1.10%
stellar
Stellar (XLM) $ 0.087942 1.45%
bitcoin-cash
Bitcoin Cash (BCH) $ 110.27 1.24%
quant-network
Quant (QNT) $ 123.86 0.73%
algorand
Algorand (ALGO) $ 0.245042 0.09%
crypto-com-chain
Cronos (CRO) $ 0.065126 0.86%
filecoin
Filecoin (FIL) $ 4.56 2.25%
near
NEAR Protocol (NEAR) $ 1.75 2.00%
apecoin
ApeCoin (APE) $ 3.93 0.90%
vechain
VeChain (VET) $ 0.019292 0.31%
hedera-hashgraph
Hedera (HBAR) $ 0.04897 3.08%
flow
Flow (FLOW) $ 1.11 1.48%
internet-computer
Internet Computer (ICP) $ 4.18 0.70%
terra-luna
Terra Luna Classic (LUNC) $ 0.000181 10.28%
elrond-erd-2
MultiversX (Elrond) (EGLD) $ 43.56 0.66%
eos
EOS (EOS) $ 0.937256 0.73%
frax
Frax (FRAX) $ 0.996675 0.35%
trust-wallet-token
Trust Wallet (TWT) $ 2.37 14.82%
the-sandbox
The Sandbox (SAND) $ 0.603068 2.10%
tezos
Tezos (XTZ) $ 1.04 1.77%
aave
Aave (AAVE) $ 65.13 0.91%
theta-token
Theta Network (THETA) $ 0.918174 4.30%
chiliz
Chiliz (CHZ) $ 0.165541 0.60%
huobi-token
Huobi (HT) $ 6.74 1.07%
WhatsApp Destek
Resmi Doğrulama-Formal Verification

Donanım ve yazılım sistemleri bağlamında biçimsel doğrulama, biçimsel matematik yöntemlerini kullanarak belirli bir biçimsel belirtim veya özelliğe göre bir sistemin altında yatan algoritmaların doğruluğunu kanıtlama veya çürütme eylemidir. Biçimsel doğrulama, esas olarak donanımın ve yazılım tasarım işleminin doğruluğunu belirlemekle ilgilidir. Doğrulama, resmi matematiksel ispatları kullandığından dolayı tasarımın uygun bir matematiksel modeli oluşturulmalıdır. Günümüzde, bir tasarım uygulamasını analiz etmek için genellikle hem doğrulama hem de doğrulama süreçleri yürütülmektedir.
Biçimsel doğrulama; kriptografik protokoller, kombinasyonel devreler, dahili belleğe sahip dijital devreler ve kaynak kodu olarak ifade edilen yazılım gibi sistemlerin doğruluğunu kanıtlamada yardımcı olabilir. Bu sistemlerin doğrulanması, sistemin soyut bir matematiksel model üzerinde biçimsel kanıt sağlanmasıyla yapılır. Matematiksel model ile sistemin doğası arasındaki uyum aynı zamanda yapı olarak da bilinir.
Sistemleri modellemek için sıklıkla kullanılan matematiksel nesnelerin örnekleri şu şekildedir: sonlu durum makineleri, etiketli geçiş sistemleri, Petri ağları, vektör toplama sistemleri, zamanlı otomata, hibrit otomata, proses cebiri, işlemsel anlambilim, gösterimsel anlambilim, aksiyomatik anlambilim gibi programlama dillerinin biçimsel semantiği ve Hoare mantığı.
Kripto Paralarda Biçimsel Doğrulama
Doğrulama, elektronik devrenin veya yazılım programı uygulamasının işleyişindeki doğruluğunu matematiksel bir kanıtla incelemeyi amaçlamaktadır. Kripto para dünyasında biçimsel doğrulama, kriptografik algoritmaların ve blok zinciri mekanizmalarının belirli özelliklerini sağlamak için matematiksel olarak titiz kanıtları kullanması anlamında kullanılabilir.
Biçimsel Doğrulama Nasıl Yapılır?
Biçimsel doğrulama, bir tasarımın bazı gereksinimleri karşılayıp karşılamadığını kontrol etme sürecidir. Hiyerarşik olarak belirtilebilecek tasarımların biçimsel doğrulaması, aynı zamanda bir insan tasarımcının nasıl çalıştığıyla da tutarlıdır. Bir tasarımı biçimsel olarak doğrulamak için, önce daha basit bir "doğrulanabilir" formata dönüştürülmesi gerekir. Tasarım, bir dizi etkileşimli sistem olarak belirtilir. Her birinin durum adı verilen sonlu sayıda konfigürasyonu vardır.