A Model Checking Approach to Network Fault Management

摘要

We propose an approach to analyze network systems based on formal methods. The trace analysis approach relies on model checking and ensures an automated and exhaustive analysis of traces of executions collected from networks through monitoring. In particular, we show how to apply the approach to the fault management procedure, and we illustrate using an example.