Computer Networks Communications

Research Frontiers in Network Protocol Formal Verification Methods

Application of formal methods and model checking to verify correctness properties and absence of deadlocks in communication protocols.

All Computer Networks & Communications PhD categories