Top > Seminars & Events > Seminar & Events > Colloquiums (FM & IMI) > Applying model checking to game development

Colloquiums (FM & IMI)

Applying model checking to game development

Hold Date
2019-04-17 16:45~2019-04-17 17:45
Place
IMI Auditorium (W1-D-413), West Zone 1, Ito campus, Kyushu University
Object person
 
Speaker
Isamu HASEGAWA (SQUARE ENIX CO., LTD.)

The special IMI Colloquium in April
 
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.