Definition
A formal, executable specification of the EVM written in the K framework. It serves both as a precise definition of EVM semantics and as a basis for verifying contracts against it.
Translations
| Language | Prose |
|---|---|
| العربية Arabic | KEVM |
| বাংলা Bengali | KEVM |
| Čeština Czech | KEVM |
| Deutsch German | KEVM |
| Español Spanish | KEVM |
| Français French | KEVM |
| हिन्दी Hindi | KEVM |
| Bahasa Indonesia Indonesian | KEVM |
| Italiano Italian | KEVM |
| 日本語 Japanese | KEVM |
| 한국어 Korean | KEVM은 |
| मराठी Marathi | KEVM |
| Polski Polish | KEVM |
| Português Portuguese (Brazil) | KEVM |
| Русский Russian | KEVM |
| Kiswahili Swahili | KEVM |
| தமிழ் Tamil | KEVM |
| తెలుగు Telugu | KEVM |
| Türkçe Turkish | KEVM'de |
| Українська Ukrainian | KEVM |
| اردو Urdu | KEVM |
| Tiếng Việt Vietnamese | KEVM |
| 简体中文 Chinese (Simplified) | KEVM |
| 繁體中文 Chinese (Traditional) | KEVM |