A VERTESIS é uma jovem empresa de software que desenvolve soluções inovadoras para reduzir o risco de acidentes para a indústria de Óleo e Gás. Somos uma das dezoito empresas selecionadas pela PETROBRAS para ser aceleradas na Edição 2020 de seu programa de inovação denominado "Conexão para Inovação".
Somos um spinoff de um projeto de Pesquisa desenvolvido na USFC no domínio de Verificação Formal e Testes para Sistemas de Missão Crítica. Nós construímos software para facilitar a documentação de requisitos de segurança e para automatizar testes de conformidade para Sistemas Instrumentados de Segurança.