The Block Circle -- Runtime Verification, a startup founded in 2010 by Illinois CS professor Grigore Rosu, has raised $5.3 million in a funding round led by IOSG Ventures. The company, which is headquartered in Urbana, Illinois, uses runtime verification-based techniques, pioneered by Rosu, to conduct security audits on virtual machines and smart contracts.