verification of protocols