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.