Urbana, IL – According to filings with the U.S. Securities and Exchange Commission, Runtime Verification is raising $5,316,314.00 in new funding. Sources indicate as part of senior management President and Chief Executive Officer, Grigore Rosu played a key role in securing the recent investment and it will aid in aggressively expanding the company, as well as broaden and accelerate product development.

About Runtime Verification
Founded in 2010 by pioneers in the academic field, Runtime Verification Inc is an American startup with a global presence, applying formal methods to improve the safety, reliability, and correctness of computing systems for aerospace, automotive, and the blockchain. The company works with infrastructure builders to provide testing and verification services, and has acquired numerous clients in the embedded systems (NASA, Boeing, Toyota, Denso, NSF, DARPA) and blockchain worlds (Algorand, Cosmos, Elrond, Ethereum, Gnosis, IOHK, Maker, PlatON, Polkadot, Tezos, and Uniswap). The companys’ mission is accessible trustworthy computing. Runtime Verification specializes in generating correct-by-construction implementations and tools automatically, from their specifications. One of the startups unique technologies is K, a semantic framework for design, implementation and formal reasoning. K enables language designers to formally define their language using an intuitive notation, and freely generate the implementations and analysis tools for that defined language.

To learn more about Runtime Verification, visit http://runtimeverification.com/

Contact:
Grigore Rosu, President and Chief Executive Officer
217-649-8738
grigore.rosu@runtimeverification.com
https://www.linkedin.com/in/grigorerosu/

SOURCE: http://www.intelligence360.io
Copyright (c) 2021 SI360 Inc. All rights reserved