Model Checking and Software Verification PDF SLIDES

Model Checking and Software Verification

[caption id="" align="alignnone" width="268" caption="Logic in Computer Science , Modelling and Reasoning about Systems"][/caption]

Instructor: Dave Richardson
Textbook: Logic in Computer Science , Modelling and Reasoning about Systems
Download Slides from here

Course Overview (ppt, pdf, ps) - Propositional Logic Notes (pdf, ps)

Lecture Outline (ppt, pdf, ps) - contains an outline of the lecture with the major ideas and notation.

Lecture Outline (ppt, pdf, ps) - contains an outline of the lecture with the major ideas and notation.

Lecture Outline (ppt, pdf, ps) - contains an outline of the lecture with the major ideas and notation.

Lecture Outline (ppt, pdf, ps) - contains an outline of the lecture with the major ideas and notation.

Lecture Outline (ppt, pdf, ps) - contains an outline of the lecture with the major ideas and notation. Also, you'll need this Promela Language Manual for discussing the SPIN model checker's input language, Promela in lecture. I will bring along hard copies of this manual to lecture.