行棋 meaning in English

played

In this thesis , we ’ ve first introduced some conceptions of model checkingand knowledge reasoning . then we ’ ve mainly introduced my tutor ’ s methodof model checking temporal logic of knowledge . lastly , we ’ ve applied thismethod to two specific areas with our tool mctk : one problem is to verifythe winning strategies in the zero - sum games , which is to automatically findout whether there exists a way ensuring the necessarily win of players ; theother problem is to verify the knowledge based security protocols , whosesecure properties rely on the knowledge reasoning of the anticipants in theprotocol
本文首先介绍了模型检测和知识推理的基本概念,然后着重介绍了我导师所提出的模型检测时态知识逻辑的方法,最后使用本实验室研制的相关工具mctk来对两个特定领域的问题进行了自动验证:一方面的问题是验证对弈中的必胜策略,即验证对弈中的行棋双方是否存在着必然获胜的走法;另一方面的问题是验证基于知识的安全协议,而这类协议的安全特性依赖于协议参与者的知识推理。