The company uses runtime verification-based techniques, pioneered by Rosu, to conduct security audits on virtual machines and smart contracts.
Browsing: Runtime Verification
Runtime Verification
Runtime Verification, a startup founded in 2010 by Illinois CS professor Grigore Rosu, is headquartered in Urbana, Illinois. The company uses runtime verification-based techniques, pioneered by Rosu, to conduct security audits on virtual machines and smart contracts.
Read More