A VERTESIS é uma empresa de software que desenvolve soluções inovadoras para aumentar a segurança da indústria de Oil & Gas, com foco na redução de riscos e prevenção de acidentes. Originada como spinoff de um projeto de pesquisa da Universidade Federal de Santa Catarina (UFSC), a empresa atua no desenvolvimento de tecnologias para verificação formal e testes de sistemas críticos, especialmente Safety Instrumented Systems (SIS). Selecionada entre as 18 empresas aceleradas pela PETROBRAS no programa Conexão para Inovação, a VERTESIS oferece soluções que facilitam a documentação de requisitos de segurança e automatizam testes de conformidade, promovendo maior confiabilidade e segurança operacional.