Setores que atendemos
Setores
Concentramo-nos nos setores aeroespacial & defesa, automotivo e firmware de semicondutores; três setores em que a verificação formal não é apenas boa prática, mas central para a garantia regulatória, de segurança ou de segurança de plataforma.
Aeroespacial & Defesa
Verificação de Software Aerotransportado & Espacial
Verificação formal para DO-178C, DO-330 e ARP4754A. Produza evidência rigorosa em todos os níveis de garantia.
DO-178CDO-330ARP4754ADO-254
Saiba mais
Automotivo
Garantia de Segurança Funcional
Evidência formal para conformidade com ISO 26262 ASIL-D. Verifique firmware de ECU, software de ADAS e componentes AUTOSAR.
ISO 26262MISRA CAUTOSARSOTIF
Saiba mais
Semicondutor
Verificação de Firmware para Silício
Verificação formal para microcódigo de processador, root-of-trust, TEE e firmware de plataforma, aplicada em colaborações publicadas com Intel e Arm.
Common CriteriaFIPS 140-3PSA CertifiedNIST 800-193
Saiba mais