This is an old revision of the document!
The goal of this course is to acquaint the students with fundamentals of automatic verification (of computer systems, in particular software) and to prepare them for conducting research in the area.
Yih-Kuen Tsay (蔡益坤), Room 1108, Management II, 3366-1189, Xtsay@im.ntu.edu.twX
(between the enclosing pair of X's)
Wednesday 9:10AM-12:10PM, Room 203, Management II (when the class is small enough, we meet in the seminar room on the 11th floor)
Wednesday 1:30–2:30PM or by appointment, Room 1108, Management II
This course provides an introduction to the foundations, methods, and tools for automatic verification. The focus is on algorithmic (including model checking) methods. A separate complementary course entitled “Software Specification and Verification” covers deductive methods. We shall seek a balance between breadth and depth, covering both the foundations and some of the more successful methods and tools. Below is a tentative list of topics and their schedule:
Homework Assignments 20%, Final Exam 40%, Term Paper/Report 40%.
Chih-Pin Tai (戴智斌), 3366-1205, Xsteve750312@gmail.comX
(between the enclosing pair of X's).