その結果、ゲーム意味論によって各種プログラミング言語の完全抽象モデルが構築され、ソフトウェアのモデル検査の新たな形式的手法が導かれた。
于是，在博弈语义的基础上，产生了为各种编程语言提供了完全抽象的语义模型，以及由此产生了用软件模型检测进行软件验证的新的语义导向的方法。