Bertrand Faust (Lecturer)
Room 402, 4th Floor, Kevin St.
Tel: +353 1 4022892
Riverbed Modeler offers powerful commercial software products for the planning, modeling and simulation of Communications Networks and Protocols. An academic edition with some restrictions on features is available at no charge.
Wireshark (formerly known as Ethereal) is an open source Protocol Analyser with very comprehensive features.
CISCO IOS V12.4:
Spin is a Model Checker freely available,originally developed at Bell Labs for the formal verification of communications protocols.