Statements (14)
Predicate | Object |
---|---|
gptkbp:instanceOf |
gptkb:programming_language
|
gptkbp:designedFor |
blockchain smart contracts
|
gptkbp:developedBy |
gptkb:Runtime_Verification
|
gptkbp:firstReleased |
2018
|
https://www.w3.org/2000/01/rdf-schema#label |
IELE
|
gptkbp:influencedBy |
gptkb:LLVM_IR
|
gptkbp:openSource |
true
|
gptkbp:platform |
Ethereum Virtual Machine (EVM) compatible blockchains
|
gptkbp:supports |
formal verification
register-based computation |
gptkbp:usedBy |
gptkb:Cardano_blockchain
|
gptkbp:website |
https://runtimeverification.com/iele/
|
gptkbp:bfsParent |
gptkb:Evangelical_Lutheran_Church_of_Spain
|
gptkbp:bfsLayer |
5
|