ºÎ»ê±âµ¶Àαâ°üÀåȸ(ȸÀå ¾È¹Î Àü °í½Å´ë ÃÑÀå)´Â 8¿ù 27ÀÏ(È) ¿ÀÈÄ 5½Ã ºÎ»ê °í½Å´ëÇб³ ¿µµµÄ·ÆÛ½º ¿ùµå¹Ì¼Ç¼¾ÅÍ ¿µºó°ü¿¡¼ ÃÑȸ ¹× ȸÀå ÀÌ¡¤ÃëÀÓ½ÄÀ» °³ÃÖÇß´Ù. À̹ø Çà»ç¿¡¼´Â ¾È¹Î ȸÀåÀÌ ÀÌÀÓÇÏ°í, ½ÅÀÓ È¸ÀåÀ¸·Î °í½Å´ëÇб³ ÃÑÀå ÀÌÁ¤±â ȸÀåÀÌ ÃëÀÓÇß´Ù.
Çà»ç´Â 1ºÎ ¿¹¹è¿Í 2ºÎ Á¤±âÃÑȸ 3ºÎ ¸¸ÂùÀ¸·Î ³ª´µ¾î ÁøÇàµÆ´Ù. 1ºÎ ¿¹¹è´Â °Ä¡¿µ »ç¹«ÃÑÀå(Çѱ¹Àå±â±âÁõÇùȸ ȸÀå)ÀÇ »çȸ·Î Á¤¿µ¶õ ºÎȸÀå(Àü±¹¿©¼º¼±±³¿¬ÇÕȸ Áõ°æȸÀå)ÀÇ ´ëÇ¥ ±âµµ, ÀÌ¾î ±èÁßÈ® ºÎȸÀå(¹ý¹«¹ýÀÎ Á¤ÀÎ ´ëÇ¥ º¯È£»ç)ÀÌ ¸¶°¡º¹À½ 11Àå 3ÀýÀ» ¼º°æºÀµ¶Çß´Ù. Çà»ç¸¦ ÃàÇÏÇϱâ À§ÇØ ¼ÒÇÁ¶ó³ë Á¤Àº¹ÌÀÇ ¡®¾î¸ÞÀÌ¡ ±×·¹À̽º¡¯ Âù¾çÀÌ À̾îÁ® Âü¼®ÀÚµéÀÇ ¸¶À½À» ¿ï·È´Ù. Á¤Áø¼· Áöµµ¸ñ»ç(À̻豳ȸ)´Â ¡®ÁÖ°¡ ¾²½Ã°Ú´Ù¸é¡¯À̶ó´Â ÁÖÁ¦·Î ¼³±³¸¦ ÀüÇϸç, Âü¼®Àڵ鿡°Ô ±íÀº ¿µÀû ±³ÈÆÀ» ÁÖ¾ú´Ù.
2ºÎ Á¤±âÃÑȸ¿¡¼´Â Áö³ÇØ È°µ¿À» µ¹¾Æº¸°í, ÇâÈÄ °èȹÀ» ³íÀÇÇÏ´Â ½Ã°£ÀÌ ¸¶·ÃµÇ¾ú´Ù. ÀÌ ÀÚ¸®¿¡¼ ¾È¹Î ÀÌÀÓ È¸ÀåÀº 6³â°£ÀÇ ¼ÒÀÓÀ» ´ÙÇÏ°í ¶°³ª´Â ¼Òȸ¸¦ ÀüÇϸç, »õ·Ó°Ô ÃëÀÓÇÑ ÀÌÁ¤±â ȸÀå¿¡°Ô ÃàÇÏ¿Í ÀÀ¿øÀÇ ¸»À» ÀüÇß´Ù. ÀÌÁ¤±â ½ÅÀÓ È¸ÀåÀº ¡°ºÎ»ê±âµ¶Àαâ°üÀåȸ¿Í ºÎ»ê¼º½Ãȸ¦ À§ÇØ ÃÖ¼±À» ´ÙÇÏ°Ú´Ù¡±¸ç ÃëÀÓ ¼Ò°¨À» ¹àÇû´Ù.
ȸÀåÀλ翡 ÀÌ¾î ¹ÚÇüÁØ ºÎ»ê½ÃÀåÀ» ´ë½ÅÇØ ¼Û¼÷Èñ Ưº¸(Àü »ç»ó±¸Ã»Àå)´Â Ãà»ç¸¦ ÅëÇØ ¡°ºÎ»ê±âµ¶Àαâ°üÀåȸÀÇ ÀºÇý·Î¿î ¹ßÀüÀ» ±â¿øÇÑ´Ù¡±°í ¹àÇû´Ù.
»ç¹«ÃÑÀåÀÇ È¸°èº¸°í, Á¤°üäÅÃ, ÀÓ¿ø¼±ÀÓ, Ãà»ç, ±âŸÅäÀÇ, ±è½Â¿í ¸ñ»ç(³ªµå¸²Çб³ ÀÌ»çÀå)ÀÇ Æóȸ±âµµ·Î ¼ø¼¸¦ ¸¶ÃÆ´Ù.
ÀÓ¿øÀº ȸÀå ÀÌÁ¤±â(°í½Å´ëÇб³ ÃÑÀå), ºÎȸÀå ±èÁßÈ®(¹ý¹«¹ýÀÎ Á¤ÀÎ ´ëÇ¥ º¯È£»ç), Á¤¿µ¶õ(Àü±¹¿©¼º¼±±³¿¬ÇÕȸ Áõ°æȸÀå), »ç¹«ÃÑÀå ±è±¤µæ(CTSºÎ¿ï°æÃѱ¹ º»ºÎÀå), ´ë¿ÜÇù·ÂÀ§¿øÀå °Ä¡¿µ((»ç)Çѱ¹Àå±â±âÁõÇùȸ ȸÀå), ³ª´®À§¿øÀå ¹Úº¸¼(CBMCºÎ»êÃÑ¿¬ÇÕȸ Á÷ÀüȸÀå)ÀÌ´Ù.
À̹ø ÃÑȸ ¹× ÀÌ¡¤ÃëÀÓ½ÄÀº ȸ¿øµé °£ÀÇ À¯´ë°¨À» °ÈÇÏ°í, ºÎ»ê±âµ¶Àαâ°üÀåȸÀÇ ¹Ì·¡¸¦ ÇÔ²² ³íÀÇÇÏ´Â ¶æ±íÀº ÀÚ¸®·Î ±â¾ïµÉ °ÍÀÌ´Ù.