CBMC(°¡µ¶½Ç¾÷ÀÎȸ) ÀüºÏ¿¬ÇÕȸ(ȸÀå Ãß¿øÈ£ Àå·Î. ÀüÁ־ȵð¿Á±³È¸))´Â Áö³ 17ÀÏ ÁýÁßÈ£¿ì·Î ÇÇÇظ¦ ÀÔÀº ³²¿ø ±ÝÁö¸é Çϵµ¸¶À» µî ħ¼ö ÇÇÇØ ³ó°¡¸¦ ã¾Æ ¼öÇغ¹±¸¿¡ µ¿ÂüÇÏ¸ç ±¸½½¶¡À» Èê·È´Ù.
³²¿ø½Ã ±ÝÁö¸é Çϵµ µî 4°³ ¸¶À»Àº Áö³ 6ÀÏ~8ÀϱîÁö 3ÀÏ µ¿¾È ±â·ÏÀûÀÎ Æø¿ì·Î ¼¶Áø° Á¦¹æÀÌ ¹«³ÊÁ® ÁÖÅðú ³ó°æÁö ´Ù¼ö°¡ ħ¼öµÇ´Â µî °¡Àå Å« ÇÇÇظ¦ ÀÔ¾î Ưº°ÀçÇØÁö¿ªÀÌ ¼±Æ÷µÈ Áö¿ªÀÌ´Ù.
À̳¯ Çϵµ¸¶À»¿¡¼´Â CBMCÀüºÏ¿¬ÇÕȸ 10¿© ¸í°ú °æ±âµµ ºÎõ¿¡¼ ¿Â 30¿©¸íÀÌ Ä§¼öµÈ ¸¶À»È¸°ü µî °¡¿ÁÀÇ °¡±¸ µîÀ» Á¤¸®ÇÏ°í ¹°¿¡ Á¥Àº õÀå º®Áö¸¦ Á¦°ÅÇÏ´Â µî Áý¾ÈÀ» û¼ÒÇß´Ù.
¶ÇÇÑ À̵éÀº °¡¿Á ÁÖº¯¿¡ ¸ô·Á µé¾î ¿Â Åä»ç¿Í ¾²·¹±â¸¦ ó¸®ÇÏ´À¶ó ±¸½½¶¡À» Èê·È´Ù.
CBMC ÀüºÏ¿¬ÇÕȸ Ãß¿øÈ£ ȸÀåÀº ¡°Äڷγª19·Î Èûµç ½Ã±â¿¡ ÁýÁß È£¿ìÇÇÇرîÁö °ãÃÄ ÁÖÅðú ³óÀÛ¹° µî ¸·´ëÇÑ Àç»ê ¼Õ½Ç°ú Á¤½ÅÀû Ãæ°ÝÀ¸·Î ÁֹεéÀÇ »ó½ÉÀÌ ÄÑ °¡½¿ÀÌ ¾ÆÇÁ´Ù¡±¸ç ¡°Á¶±×¸¸ ºÀ»çÀÇ ¼Õ±æÀÌÁö¸¸ ÇÏ·ç ¼ÓÈ÷ ÀÏ»óÀ¸·Î º¹±ÍÇÒ ¼ö ÀÖ±æ ¹Ù¶ó´Â ½ÉÁ¤À¸·Î ¼öÇغ¹±¸¿¡ ³ª¼¹´Ù¡±°í ¼öÇعεéÀ» À§·ÎÇß´Ù.
¼öÇظ¦ ÀÔÀº Çϵµ¸¶À» ÃÖÇعü ÀÌÀåÀº À̳¯ ºÀ»çÀڵ鿡°Ô ¡°54¼¼´ë 150¿© ÁֹεéÀÌ »ç´Â ÀÌ ¸¶À»¿¡ 60³â ¸¸ÀÇ 300§®°¡ ³Ñ´Â ±â·ÏÀûÀÎ Àå´ëºñ°¡ ½ñ¾ÆÁö¸é¼ ¼¶Áø° µÏ 100¿© ¹ÌÅÍ°¡ ºØ±«µÅ °¹°ÀÌ ¸¶À»À» µ¤ÃÆ´Ù¡±¸ç ¡°°í¸¿°Ô Àü±¹ °¢Áö¿¡¼ ÀÚ¿øºÀ»çÀÚµéÀÌ ¸ô·Á¿Í¼ ħ¼öÁÖÅðú ºñ´Ò ÇϿ콺µî ³ó°æÁö Á¤¸®¿¡ µµ¿ÍÁ༠¼öÇغ¹±¸¿¡ Å« ÈûÀÌ µÇ°í ÀÖ´Ù¡±°í ºÀ»çÀڵ鿡°Ô °í¸¶¿òÀ» Ç¥½ÃÇß´Ù.
¼öÇغ¹±¸¸¦ ¸¶Ä£ CBMCȸ¿øµéÀº ±ÝÁö¸é»ç¹«¼Ò¸¦ ¹æ¹®ÇØ ºñ»ó±Ù¹«¿¡ ¿©³äÀÌ ¾ø´Â °øÁ÷ÀÚµéÀ» °Ý·ÁÇÏ°í ¼öÀçÀÇ¿¬±Ý 100¸¸ ¿øÀ» ÀåÁ¾¼® ¸éÀå¿¡°Ô Àü´ÞÇß´Ù.
/Çϴ뼺 ±âÀÚ
< ÀúÀÛ±ÇÀÚ©ÀüºÏ±âµ¶½Å¹®¹«´ÜÀüÀç¹×Àç¹èÆ÷±ÝÁö>