±º»ê½Ã ±¸¾Ïµ¿Àº ÇÁ·çºê(PROVE)Ä«Æä(´ëÇ¥ ±è¼±¹Î)°¡ ¾î·Á¿î ÀÌ¿ôÀ» À§ÇØ »ç¿ëÇØ´Þ¶ó¸ç ¼º±Ý 58¸¸¿øÀ» ±âŹÇß´Ù°í 28ÀÏ ¹àÇû´Ù.
À̳¯ ±âŹ ¹ÞÀº ¼º±ÝÀº ÀüºÏ»çȸº¹Áö°øµ¿¸ð±Ýȸ¿¡ Àü´ÞµÅ °ü³» Àú¼ÒµæÃþ ¹× º¹Áö»ç°¢Áö´ë¿¡ ÇØ´çÇÏ´Â ¼Ò¿ÜµÈ °¡±¸¸¦ À§ÇØ »ç¿ë µÉ ¿¹Á¤ÀÌ´Ù.
ÇÁ·çºê(PROVE) Ä«Æä´Â ¸Å³â Ãß¼ö°¨»çÀý ¹× ¸íÀý¿¡ ±âºÎ·±(run) Çà»ç¸¦ °³ÃÖÇØ 3³â° ±¸¾Ïµ¿¿¡ ±âºÎÇÏ°í ÀÖÀ¸¸ç ¸ÅÃâ¾×ÀÇ ÀÏÁ¤¾×À» ¸Å´Þ Á¤±â ±âºÎÇÏ´Â ÂøÇÑ°¡°Ô¿¡ °¡ÀÔ, Áö¿ª ³» ¾î·Á¿î ÀÌ¿ôÀ» À§ÇØ ²ÙÁØÈ÷ »ç¶û ³ª´®¿¡ µ¿ÂüÇÏ°í ÀÖ´Ù.
ÇÁ·çºê Ä«Æä ±è¼±¹Î ´ëÇ¥´Â ¡°¾î·Á¿î ÀÌ¿ôÀ» À§ÇØ ÀÛÀº º¸ÅÆÀÌ¶óµµ µÇ°íÀÚ ¼º±ÝÀ» ±âŹÇß´Ù¡±¸ç ¡°¾ÕÀ¸·Îµµ ±âȸ°¡ µÈ´Ù¸é Áö¿ªÀÇ ¼Ò¿ÜµÈ ÀÌ¿ôÀ» À§ÇØ ÀÛÀº ³ª´®ÀÌ¶óµµ ½ÇõÇÏ°íÀÚ ÇÑ´Ù¡±°í ¸»Çß´Ù.
Áø¹Ì¿µ ±¸¾Ïµ¿ÀåÀº ¡°Áö¿ª»çȸ¿¡ °ü½ÉÀ» °®°í Áö¼ÓÀûÀÎ »ç¶ûÀ» ½ÇõÇÏ´Â ÇÁ·çºê Ä«Æä¿¡ °¨»çµå¸°´Ù¡±¸ç ¡°º¹Áö»ç°¢Áö´ë ÇؼҴ ¹°·Ð ÀÌ¿ô°ú ´õºÒ¾î ÇÔ²²ÇÏ´Â ÇູÇÑ ±¸¾Ïµ¿ÀÌ µÉ ¼ö ÀÖµµ·Ï ³ë·ÂÇÏ°Ú´Ù¡±°í ÀüÇß´Ù.
/±º»ê=±èÆÇ°ï ±âÀÚ