Runtime Verification, a startup based in 2010 by Illinois CS professor Grigore Rosu, has raised $5.3 million in a funding spherical led by IOSG Ventures. The corporate, which is headquartered in Urbana, Illinois, makes use of runtime verification-based strategies, pioneered by Rosu, to conduct safety audits on digital machines and sensible contracts.
The corporate says that the brand new funding will speed up the event of instruments designed to reinforce the security, reliability, and correctness of computing techniques for blockchain and embedded techniques, in addition to to increase Runtime Verification’s international presence.
“I wish to thank our buyers and companions for supporting and amplifying our mission,” stated Rosu. “Up to now, all our funding has been from grants and contracts fairly than capital raises. This funding spherical is subsequently a significant step for the corporate, one which is able to speed up our progress and affect within the blockchain area.”