Verificação de SMA

Verificação por Abstração

Método que reduz a complexidade do SMA criando um modelo simplificado que preserva as propriedades relevantes a serem verificadas. Permite contornar a explosão combinatória do espaço de estados de sistemas complexos.

← Voltar