VERTESIS is a young software company that develops innovative solutions to reduce the risk of accidents for the Oil & Gas industry. We are one of the eighteen companies selected by PETROBRAS to be accelerated at the 2020 Edition of its innovation program called the "Conexão para Inovação". We are a spinoff from a Research project developed at USFC on the domain of Formal Verification and Tests for Mission Critical Systems. We build software to facilitate the documentation of safety requirements and to automate compliance testing for Safety Instrumented Systems.