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/2010/10ASE/10ASE.htm
 

DESCRIPTION

This course introduces fundamental theories underlying formal methods. It practices several formal methods through team projects. SMV model checking and UPPAAL specification and verification are those we'll use in team projects.

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.

- Team Project

    - 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

COURSE TOPICS

1.     Introduction to Formal Methods (Theory)

2.     Practices for Formal Methods

A. SMV

B. SPIN

C. VIS

D.  UPPAAL

E. BMC

F. CBMC

G. BLAST

H. etc.

TEXT

1.     Required Text: “System and Software Verification” by B.Bérard, et. al., Springer

GRADING PLAN

1.     Attendance        0%

2.     Mid-term Exam.   30%

3.     Team Project      70%