ChicagoInno -- A startup born at 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 with their code. Professor Grigore Rosu's Runtime Verification has developed tools to improve the safety and reliability of software systems.