Runtime Verification

Runtime Verification 3 Runtime Verification

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

Runtime Verification Now

After graduating from EnterpriseWorks in 2014, Runtime Verification opened its corporate office in Urbana, IL.