Verificação de SMA

Propriedades de Emergência

Características globais do sistema resultantes de interações locais entre agentes, mas não explicitamente programadas. A sua verificação formal representa um desafio importante na validação de SMAs.

← Voltar