Runtime Verification and Algorand announce a new engagement to build formal tools for Algorand’s smart contract ecosystem

less than 1 minute read


Runtime Verification has been awarded a grant by Algorand Foundation to develop a formal semantic framework for Algorand’s smart contracts using the K framework.

Read the article here.