Chicago Inno (Jan. 3) -- A little-known startup born out of the University of Illinois has built technology that identifies problems in a company’s software, and it’s helping some of the biggest players in aerospace, automotive and blockchain industries with their code. 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.