协议验证

【词语拼音】xié yì yàn zhèng

【词语繁体】協議驗證

【词语结构】ABCD式词语

【词语字数】四字词语

【网络解释】
协议验证是指根据协议规范来检查协议实体间的交互是否满足一定特性(properties)或条件(conditions)的过程，例如，检查是否有死锁存在。通过协议验证，可以获知协议设计是否满足正确性、完整性和一致性等要求。