Blockchain, Computer Science, Smart Contacts, Blockchain Technology, Blockchain Development.
the smart contract but also have the proof of correctness of the smart contract, on the blockchain”, explains Prof. Rosu. Professor Rosu is now working to express the Ethereum virtual machine using the K framework, and to develop a new virtual machine technology, called IELE, specifically tailored