Grigore Roșu

iele-a-new-virtual-machine-for-the-blockchain

iele-a-new-virtual-machine-for-the-blockchain.png

Runtime Verification Inc applies formal methods to improve the safety, reliability, and correctness of computing systems for aerospace, automotive, and the blockchain.

IOHK

IELE: A New Virtual Machine for the Blockchain

new-technologies-for-the-blockchain-iele-virtual-machine-and-k-universal-language-framework

new-technologies-for-the-blockchain-iele-virtual-machine-and-k-universal-language-framework.png

New Technologies for the Blockchain: IELE (virtual machine) and  K (universal language framework)

lets-make-the-ethereum-virtual-machine-better

Posts with IOHK

IELE: A New Virtual Machine for the Blockchain

New Technologies for the Blockchain: IELE (virtual machine) and K (universal language framework)

Let's Make the Ethereum Virtual Machine Better

Have critical software that has to be right? Let's talk.