CryptoNinjas - Bitcoin, Cryptocurrency & Blockchain Asset SourceElrond, the recently launched sharding-based public blockchain network, has announced a new cooperation agreement with Runtime Verification for research and development in core areas of formal verification methods. Elrond is using the K Framework, developed by Grigore Rosu while at NASA and the University of Illinois at Urbana Champaign, as the backbone for all of its smart […]https://www.cryptoninjas.net/2019/07/16/elrond-blockchain-partners-with-...