Definition
Proving mathematically that code satisfies a specification for all inputs, rather than testing a sample of them. It is used on high-value contracts and on the protocol's own specifications.
Note
Mathematical proof that smart contract code meets its specification. Academic term.
Translations
| Language | Prose |
|---|---|
| العربية Arabic | التحقق الشكلي |
| বাংলা Bengali | বিধিবদ্ধ যাচাইকরণ |
| Čeština Czech | formální verifikací |
| Deutsch German | formale Verifikation |
| Español Spanish | verificación formal |
| Français French | vérification formelle |
| हिन्दी Hindi | औपचारिक सत्यापन |
| Bahasa Indonesia Indonesian | verifikasi formal |
| Italiano Italian | verifica formale |
| 日本語 Japanese | 形式的検証 |
| 한국어 Korean | 정형 검증은 |
| मराठी Marathi | औपचारिक पडताळणी |
| Polski Polish | weryfikacji formalnej |
| Português Portuguese (Brazil) | verificação formal |
| Русский Russian | формальную верификацию |
| Kiswahili Swahili | uthibitishaji rasmi |
| தமிழ் Tamil | முறைசார் சரிபார்ப்பின் |
| తెలుగు Telugu | నియత ధృవీకరణ |
| Türkçe Turkish | biçimsel doğrulama |
| Українська Ukrainian | формальної верифікації |
| اردو Urdu | رسمی تصدیق |
| Tiếng Việt Vietnamese | xác minh hình thức |
| 简体中文 Chinese (Simplified) | 形式化验证 |
| 繁體中文 Chinese (Traditional) | 形式化驗證 |