Course Syllabus 2011

Course Syllabus

Advanced Software Engineering
- Introduction to Formal Methods (2010 Fall)

BASIC INFORMATION

Instructor:        JUNBEOM YOO
Office:              New Millennium Bldg. Room 904
Office Phone:     02-450-3258
E-Mail:             jbyoo@konkuk.ac.kr
Homepage:        http://dslab.konkuk.ac.kr
Course Page:     http://dslab.konkuk.ac.kr/Class/2011/11ASE/11ASE.htm

DESCRIPTION

This course introduces fundamental theories underlying formal methods. It practices several formal methods through term projects. At the end of the semester, each student proposes a new research plan.

COURSE ORGANIZATION

This course is a lecture course in which topics are presented by the instructor. All assigned team projects should be completed and presented next class time.

COURSE OBJECTIVE

- Understand fundamental theories underlying formal methods.

- Term projects

- Choose one V&V technique and make a kind presentation

- Find something worthy of V&V and make a plan to do it

- Report the progress and result with demo

- Make a research proposal

COURSE TOPICS

1. Introduction to Formal Methods (Theory)

2. Practices for Formal Methods

A. SMV

B. SPIN