Designandvalidationofcomputerprotocols