EnterpriseWorks Graduate Runtime Verification Thrives in Urbana

January 04, 2019
Category: Enterpriseworks
runtime verification

It's not rare for a University of Illinois deep-tech startup to fly under the radar.

One such startup -- founded by a University of Illinois computer science faculty member and a graduate of the EnterpriseWorks incubator --received a bit of notoriety from online tech magazine Chicago Inno. 

Runtime Verification is now located in downtown Urbana, and has grown to have 30+ employees. Founded by Grigiore Rosu, uses runtime verification-based techniques to improve the safety, reliability, and correctness of software systems.

"Runtime Verification, based in Urbana, has developed tools to improve the safety and reliability of software systems. Its technology can automatically detect bugs that are lurking in a company’s software, and identify problems before a program crashes.

Runtime’s customers include a handful of high-profile clients—such as Boeing, NASA, Toyota and the National Science Foundation—who use the startup to make sure their code is error free."

For the entire article, please visit Chicago Inno.