| Research questions: Key issues in the evaluation of communication network protocols are (i) the formal verification of their correctness, (ii) the analysis of their performance, and (iii) iterative modeling and analysis for protocol (re)design. The main goal of the proposed project is to deepen the understanding of the performance of the present Internet control protocols, and obtain insight into the improvements required to support new applications. |
