Blockchain, Computer Science, Smart Contacts, Blockchain Technology, Blockchain Development.
to the blockchain space. Listen to the full episode exploring the K framework and its implications for blockchains on SoundCloud. Show links Defining the undefinedness of C — formalisation of C using the K framework IELE — a new virtual machine for the blockchain Runtime verification — Grigore’s