Runtime Verification (RV), a University of Illinois startup founded by computer science professor Grigore Rosu, and IOHK, a leading blockchain research, and development company, have announced the official release of IELE, a next-generation virtual...

Runtime Verification and IOHK launch virtual machine for blockchains was published on CryptoNinjas.