Elrond Initiates Cooperation With Runtime Verification — A Research and Development Company Specializing in Formal Methods — Steemit