Event info

Date: Wednesday, 17 April 2019 16:45 - 17:45

Place: IMI Auditorium (W1-D-413) (4F, West Zone 1, Kyushu University)

Speaker: Mr. Isamu HASEGAWA (SQUARE ENIX CO., LTD.)

Title: Applying model checking to game development

Abstract :
The workload of game development and quality assurance has increased along with upsizing of game development in the recent video game industry. Also, visual script languages with a node-based interface have commonly been used to describe game logic. However, visual script languages are hard to maintain even though they are easy to learn. On the other hand, there have been previous studies that try to formally verify state machines by model checking. Applying model checking to visual script might be able to detect bugs automatically and to reduce the development cost. In this session, we will introduce our activity that we try to detect bugs by applying model checking to visual script.