1. Model checking
Q:¾È³çÇϼ¼¿ä. Á¦°¡ °¡Áö°í ÀÖ´Â µõä ¸ðµ¨ÀÌ ÆÇ¸ÅÇϽô ³»¼Ü°ú »ç¿ëÀÌ °¡´ÉÇѰ¡ ÇØ¼¿ä. ¸ðµ¨¸í:µõä Äî ³ª³ë ¾ËÆÄ IH A061USDBH ³»¼Ü ±³Ã¼¸¦ ÇÏ°í ½ÍÀºµ¥ »ç¿ë°¡´ÉÇÑÁö È®ÀÎ ºÎʵ右´Ï´Ù. ºü¸¥ ´äº¯ ¹Ù¶ø´Ï´Ù. °¨»çÇÕ´Ï´Ù. A:¾È³çÇϼ¼¿ä, µõäÄî ³ª³ë¾ËÆÄ IH ¹ä¼Ü A060 (6 Cup) ³»¼Ü ȣȯÀÌ µÇ´Â Á¦Ç° ÀÔ´Ï´Ù. °¨»çÇÕ´Ï´Ù.
| |||
1