Runtime Verification creates tools that will improve software engineering by extracting information from running systems and using it to detect code faults and behaviors. The company’s unified runtime verification system provides both runtime monitoring and predictive runtime analysis.
Grigore Rosu, a professor, and researcher at the University of Illinois’ Computer Science Department created Runtime Verification in 2010.
EnterpriseWorks Tenure: 2010-2014
News & Milestones
- EnterpriseWorks Graduate Runtime Verification Thrives in Urbana
- EnterpriseWorks Graduate Runtime Verification Raises $5.3 Million to Advance Blockchain Security
Runtime Verification Now
After graduating from EnterpriseWorks in 2014, Runtime Verification opened its corporate office in Urbana, IL.