Runtime Verification enters a protocol verification agreement with PlatON blockchain
Runtime Verification is excited to announce a new engagement with PlatON Networks, a privacy-protecting new generation of public chain sponsored ...
Read more
Tag: Runtime Verification
Elrond partners with Runtime Verification to take smart contracts to the next level
Elrond, the recently launched sharding-based public blockchain network, has announced a new cooperation agreement with Runtime Verification for research and development ...
Read moreRuntime Verification and IOHK launch virtual machine for blockchain IELE
Runtime Verification (RV), a University of Illinois startup founded by computer science professor Grigore Rosu, and IOHK, leading blockchain research, ...
Read more
