The K Framework & Formal Verification Efforts in the Blockchain Space
In the past few years we witnessed the development of multiple smart contract languages — each of them requires resources for building formal verification toolsets, compilers, debuggers and other developer…