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