Análise Lógico do Protocolo LMP em um Ambiente GMPLS

Alcançabilidade justa é um método de análise lógica útil na detecção de erros de progresso em protocolos de comunicação representados por MEFCs. É imprescindível a análise lógica do LMP que é um dos protocolos que constituem o GMPLS. Assim, verifica-se o comportamento deste bem como se o mesmo está ou não livre de erros de progresso.