±¤ÁÖFC°¡ 190§¯ÀÇ Àå½Å ¼¾Å͹é Áø½Ã¿ì(22)¸¦ ÀÓ´ë ¿µÀÔÇØ ¼öºñÁø ³ôÀ̸¦ º¸°Çß´Ù.
31ÀÏ ±¤ÁÖFC¿¡ µû¸£¸é Áø½Ã¿ì´Â °æ±âÇ×°ø°í - ¿¬¼¼´ë Ãâ½ÅÀ¸·Î ´ëÇÐ ½ÃÀý ÆÀÀÇ ÇÙ½É ¼öºñ¼ö·Î È°¾àÇÑ ¹Ù ÀÖÀ¸¸ç Å« Å°¸¦ È°¿ëÇØ ½ºÆ®¶óÀÌÄ¿ Æ÷Áö¼Ç¿¡µµ ±â¿ëµÇ±âµµ Çß´Ù.
Áø½Ã¿ì´Â 2023³â Á¦21ȸ µ§¼ÒÄÅ ÇÑÀÏ ´ëÇÐ Ã౸Á¤±âÀü¿¡ ¹ßŹµÅ űظ¶Å©¸¦ ´Þ±âµµ ÇßÀ¸¸ç, Áö³ÇØ ÀüºÏ Çö´ë À¯´ÏÆûÀ» ÀÔ°í ÇÁ·Î ¹«´ë¿¡ ¶Ù¾îµé¾ú´Ù.
Áø½Ã¿ì´Â ÀüºÏ Çö´ë BÆÀ(ÇöÀç NÆÀ)¿¡¼ ÁÖ·Î È°¾àÇØ 18°æ±â¿¡ ÃâÀüÇÏ´Â µî °æÇèÀ» ½×¾ÒÀ¸¸ç K¸®±×1 3°æ±â, ACL2 4°æ±â µî ÃÑ 25°æ±â¿¡ ÃâÀüÇϸç ÇÁ·Î ¹«´ë ÀûÀÀÀ» ¸¶ÃÆ´Ù.
Áø½Ã¿ì´Â Á¦°ø±Ç¿¡¼ °·ÂÇÑ ¿ìÀ§¸¦ Á¡ÇÏ´Â À¯ÇüÀÇ ¼¾Å͹éÀ̸ç, ºü¸¥ ÆǴܷ°ú ÁÁÀº ÀÏ´ëÀÏ ¼öºñ ´É·ÂÀÌ ¶Ù¾î³ª´Ù´Â ÆòÀÌ´Ù. ¶ÇÇÑ ³ôÀº À§Ä¡±îÁö ¿Ã¶ó°¡ ºôµå¾÷¿¡ °¡´ãÇÏ´Â Ç÷¹ÀÌ¿¡ ´ÉÇϸç, ´ÙÀç´Ù´ÉÇÔÀ» ¿ä±¸ÇÏ´Â Çö´ë Ã౸ÀÇ Æ®·»µå¿¡ °É¸ÂÀº ¼öºñ¼ö¶ó´Â ±â´ë¸¦ ¹Þ°í ÀÖ´Ù.
Áø½Ã¿ì´Â ¡°±¤ÁÖ¿¡¼ È°¾àÇÒ ¼ö ÀÖ°Ô µÅ ±²ÀåÈ÷ ¼³·¹°í ÆÀ¿¡ º¸ÅÆÀÌ µÇ´Â ¼±¼ö°¡ µÇ°í ½Í´Ù¡±¸ç ¡°ÇϷ绡¸® ÀûÀÀÇؼ °æ±âÀå¿¡¼ ÁÁÀº ¸ð½ÀÀ» º¸¿©µå¸®°í ½Í°í °³ÀÎÀûÀ¸·Îµµ Àß ¼ºÀåÇÒ ¼ö ÀÖµµ·Ï ÃÖ¼±À» ´ÙÇÏ°Ú´Ù¡±°í ¹àÇû´Ù.