Runtime Verification creates tools that will improve software engineering through 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. The company was previously a client in EnterpriseWorks and is returning due to new growth from commercial clients.
Grigore Rosu, a professor, and researcher at University of Illinois’ Computer Science Department created Runtime Verification in 2010.
EnterpriseWorks Tenure: 2010-2014
News & Milestones
- 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.