[an error occurred while processing this directive]
首頁資訊資料學生資源求助討論 English

Computer-Aided Verification
計算機輔助驗證
Graduate School of Computer Science and Information Engineering
National Chung Cheng University, Chiayi, Taiwan.

Handouts

(Last Updated: May 1, 2006)

What's New?

Course Slides and Handouts

Filename Size No. of Slides Contents Title Lecture Dates Date Uploaded
cav00_2006.pdf 280 KB 20 Introduction to CAV Course Feb 15, 2006 Feb 18, 2006
cav01_2006.pdf 1.1 MB 100 Introduction to CAV Feb 15, 22, 2006 Feb 18, 2006
cav02_2006.pdf 177 KB 30 Introduction to Model Checking Mar 1, 2006 Feb 22, 2006
cav03_2006.pdf 302 KB 90 Model Checking (Part I) Mar 8, 15, 2006 Mar 6, 2006
cav04_2006.pdf 988 KB 125 Model Checking (Part II) Mar 15, 22, April, May 3 2006 Mar 15, 2006
cav05_2006.pdf 544 KB 85 Bounded Model Checking May 10, 17, 24 2006 May 15, 2006

Reference Slides

Slides FileSlides TitleDate Uploaded
PDF (1,291 KB) Why Formal Verification? by Prof. Henzinger Sep 21, 2001
PPT (105 KB) Model Checking (Part I) by Prof. Henzinger Oct 17, 2001
PPT (137 KB) Model Checking (Part II) by Prof. Henzinger Oct 17, 2001
PPT (72 KB) Model Checking (Part III) by Prof. Henzinger Oct 17, 2001
PPT (71 KB) Model Checking (Part IV) by Prof. Henzinger Oct 17, 2001
PDF (138 KB) Assume Guarantee Reasoning (Part I: theory) by Prof. Henzinger et al. Nov 16, 2001
PDF (119 KB) Assume Guarantee Reasoning (Part II: application)by Prof. Henzinger et al. Nov 16, 2001

Reference Book

Notice