Algorithm for Solving Games
Wei Gong, Fei Xie · 2010
Games are a way to represent the verification problem. In this paper we represent a verification problem as a game and solve the game especially a weak game. We represent an algorithm to solve a weak game. We will research this algorithms on an experiment, indicated a weak game.