Verificação de SMA
Verificação de Segurança
Validação de que um SMA nunca atingirá estados perigosos ou indesejáveis durante sua execução. As propriedades de segurança incluem a ausência de interbloqueios e o respeito às restrições de segurança.
← Voltar