弄清查询(nqcx.com) - 免费实用便民查询工具大全网
功能直达
协议验证是指根据协议规范来检查协议实体间的交互是否满足一定特性(properties)或条件(conditions)的过程，例如，检查是否有死锁存在。通过协议验证，可以获知协议设计是否满足正确性、完整性和一致性等要求。
【协的意思】：协（協） xié（ㄒ一ㄝˊ） （一）、共同合作，和洽：协商。协定。协和。协调（ tiáo ）。协议。 详情>
【议的意思】：议（議） yì（一ˋ） （一）、意见，言论：议论。提议。建议。（二）、讨论，商量：商议。会议。协议。 详情>
【验的意思】：验（驗） yàn（一ㄢˋ） （一）、检查，察看：验核。验血。验尸。验光。验证。（二）、效果，有效果： 详情>
【证的意思】：证（證） zhèng（ㄓㄥˋ） （一）、用人物、事实来表明或断定：证明。保证。证实。作证。对证。论证 详情>
