Mocha可以使用交替时态逻辑Alternating-time temporal logic (ATL)来描述属性,而ATL的博弈语义(game semantics)使ATL可以用竞赛树(winning strategies)的方式进行模型检测。这使得我们可以更为直观的理解MPCS协议关键属性的验证过程。
基于2468个网页-相关网页
Game-theoretical semantics 博弈论语义学
What Apple has done by introducing its "post-PC" language into the vernacular is almost more a game of semantics.
苹果将后PC带入现有语境的做法更像是一场文字游戏。
Hintikka applied some cardinal concepts of game theory to language game and thus got game-theoretical semantics.
芬兰哲学家及逻辑学家辛迪加将博弈论的基本概念应用到语言游戏论中，得到了博弈沦语义学。
应用推荐