The purpose of the INCA program is to make sophisticated formal verification methods accessible to all companies that develop code.