Elrond partners with Runtime Verification to take smart contracts to the next level

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. дальше »

182 +