Statements (15)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:programming_language
|
| gptkbp:designedFor |
blockchain smart contracts
|
| gptkbp:developedBy |
gptkb:Runtime_Verification
|
| gptkbp:firstReleased |
2018
|
| 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_in_Spain
gptkb:Evangelical_Lutheran_Church_of_Spain |
| gptkbp:bfsLayer |
6
|
| https://www.w3.org/2000/01/rdf-schema#label |
IELE
|