Software ±³À° Ư°­

 - Á¤Çü ¸ðµ¨¸µ ¹× Á¤Çü°ËÁõ ±âÃÊ (NuSMV Model Checker) (2016 Summer)


BASIC INFORMATION

Instructor :       Junbeom Yoo
Office :           New Millennium Bldg. Room 904
E-Mail :           jbyoo@konkuk.ac.kr
Homepage :     http://dslab.konkuk.ac.kr
Course Page :   http://dslab.konkuk.ac.kr/Etc/SWspecialedu/index.htm


DESCRIPTION

º» ±³À° ÇÁ·Î±×·¥Àº Àü»êÇÐ ºÐ¾ß»Ó¸¸ ¾Æ´Ï¶ó ´Ù¾çÇÑ ºÐ¾ß¿¡ Àû¿ë °¡´ÉÇÑ Á¤Çü ±â¹ý (Formal Method) ÀÇ ±âÃÊ °úÁ¤À¸·Î Á¤Çü ¸ðµ¨¸µ ¹× Á¤Çü °ËÁõ (Formal Modeling & Formal Verification) ±â¹ý¿¡ ´ëÇÏ¿© ´Ù·é´Ù. Á¤Çü ¸ðµ¨¸µ°ú Á¤Çü °ËÁõ¿¡ ´ëÇÑ ±âÃÊ ±³À°À» ½ÃÀÛÀ¸·Î ¸ðµ¨ üŷ (Model Checking) µµ±¸ÀÎ NuSMV ¸¦ »ç¿ëÇÑ Á¤Çü ¸ðµ¨¸µ ¹× °ËÁõ¿¡ ´ëÇÑ ÇнÀÀ» ¼öÇà ÇÑ´Ù.


LECTURE OBJECTIVE

1. Formal Modeling ¹× Formal Verification ¿¡ ´ëÇÑ ±âÃʸ¦ ÇнÀÇÑ´Ù.
2. Model checking µµ±¸ÀÎ NuSMV »ç¿ë¿¡ ´ëÇØ ÇнÀ ÇÑ´Ù.
3. NuSMV ¸¦ À§ÇÑ ¸ðµ¨¸µ ¼öÇàÀ» °æÇèÇÑ´Ù.



¼ö¾÷³»¿ë ¿¹Á¦




LECTURE IN 2015 winter