verification of telecommunication protocols