Statements (13)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:virtual_machine_specification
|
| gptkbp:basedOn |
gptkb:Ethereum_Virtual_Machine
|
| gptkbp:developedBy |
gptkb:Runtime_Verification
|
| gptkbp:firstReleased |
2017
|
| gptkbp:implementedIn |
K framework
|
| gptkbp:openSource |
true
|
| gptkbp:supports |
Ethereum smart contracts
|
| gptkbp:usedFor |
formal verification
smart contract analysis |
| gptkbp:website |
https://github.com/runtimeverification/kevm
|
| gptkbp:bfsParent |
gptkb:Runtime_Verification
|
| gptkbp:bfsLayer |
8
|
| https://www.w3.org/2000/01/rdf-schema#label |
KEVM
|