Tag: Runtime Verification

Runtime Verification is excited to announce a new engagement with PlatON Networks, a privacy-protecting new generation of public chain sponsored ...

Elrond, the recently launched sharding-based public blockchain network, has announced a new cooperation agreement with Runtime Verification for research and development ...

Runtime Verification (RV), a University of Illinois startup founded by computer science professor Grigore Rosu, and IOHK, leading blockchain research, ...