- Introduction to Model Checking Theories and Tools
Instructor: JUNBEOM YOO
Office: New Millennium Bldg. Room 904
Office Phone: 02-450-3258
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. This semester, especially, will focus on SPIN - the famous model checker for network protocol verification.
All students make several presentations of selected papers and their extended/related ones. At the end of the class, each student makes a proposal for future research plans.
Understand fundamental theories underlying formal methods
- Term Project
- SMV & SPIN
- Make a research proposal
1. Introduction to Formal Methods (Theory)
2. Practices for Formal Methods
1. Required Text: ¡°System and Software Verification¡± by B.Bérard, et. al., Springer
1. Attendance 0%
2. Proposal 30%
3. Presentations 70%