ÇѱÛÁ¦¸ñ(Korean Title) |
½ºÇÉ ¸ðµ¨ üĿ¸¦ ÀÌ¿ëÇÑ ¿Â¶óÀÎ °ÔÀÓ ¼¹öÀÇ ÆÄƼ ½Ã½ºÅÛ °ËÁõ |
¿µ¹®Á¦¸ñ(English Title) |
Online-Game Server Party System Verification using SPIN Model Checker |
ÀúÀÚ(Author) |
±è±¤ÈÆ
¹Ú¹Î±Ô
ÃÖÀ±ÀÚ
Goanghun Kim
Mingyu Park
Yunja Choi
|
¿ø¹®¼ö·Ïó(Citation) |
VOL 21 NO. 02 PP. 0609 ~ 0612 (2014. 11) |
Çѱ۳»¿ë (Korean Abstract) |
¿À´Ã³¯ ½Å·ÚÇÒ ¼ö ÀÖ´Â Á¤º¸Åë½Å±â¼ú(Information and Communication Technology, ICT) ½Ã½ºÅÛÀÇ Á߿伺Àº Áõ´ëµÇ°í ÀÖÀ¸¸ç ±×¿¡ ¸ÂÃç °íÀ§Çè ½Ã½ºÅÛÀÇ °ËÁõ(Verification) ÀÛ¾÷µµ Á¡Á¡ ü°èȵǰí ÀÖ´Ù. ¹Ý¸é ¿©ÀüÈ÷ ÀϹÝÀûÀÎ ¼ÒÇÁÆ®¿þ¾îµéÀº °ËÁõ °úÁ¤À» Àη¿¡ ÀÇÇÑ Å×½ºÆðú °°Àº ±âÃÊÀûÀÎ ¹æ¹ý¿¡ ÀÇÁ¸ÇÏ°í ÀÖ´Ù. º» ³í¹®¿¡¼´Â ±× ´ëÇ¥ÀûÀÎ ¿¹ÀÎ ¿Â¶óÀÎ °ÔÀÓ ¼¹ö¸¦ ´ë»óÀ¸·Î, SPIN ¸ðµ¨ üĿ(SPIN model checker)¸¦ ÀÌ¿ëÇÑ ÀÚµ¿È °ËÁõ¹æ¹ýÀ» Àû¿ëÇÏ´Â ½ÇÇèÀûÀÎ ¿¬±¸¸¦ ¼öÇàÇÑ´Ù. ¿¬±¸ °á°ú ±âÁ¸ÀÇ °ËÁõ °úÁ¤À¸·Î´Â ÆľÇÇÏÁö ¸øÇÑ ¿À·ù¸¦ ÆľÇÇÒ ¼ö ÀÖ¾ú°í, °ËÁõ ºñ¿ëµµ ³³µæÇÒ ¸¸ÇÑ ¼öÁØÀ̶ó´Â °ÍÀ» È®ÀÎÇÏ¿´´Ù.
|
¿µ¹®³»¿ë (English Abstract) |
|
Å°¿öµå(Keyword) |
|
ÆÄÀÏ÷ºÎ |
PDF ´Ù¿î·Îµå
|