Lecture Materials for CIS841 Validation and Verification
Dr. David A. Gustafson, Professor
Department of Computing and Information Sciences
Kansas State University
dag@cis.ksu.edu
Lecture Materials
-
L27 Final Preview - Thursday, Dec 6 -
ppt prelecture :
ppt postlecture - available after lecture :
zipped lecture - available after lecture
unzipped lecture - available after lecture
-
-
L26 Zachariah - Tuesday, Dec 4 -
ppt prelecture :
ppt postlecture - available after lecture :
zipped lecture - available after lecture
-
-
L25 Zachariah - Thursday, Nov 29 -
ppt prelecture :
ppt postlecture - available after lecture :
zipped lecture - available after lecture
-
L24 Exam 2 Review - Tuesday, Nov 27 -
ppt prelecture :
ppt postlecture - available after lecture :
zipped lecture - available after lecture
-
L22 Exam 2 Preview - Thursday, Nov 08 -
-
L23 Exam 2 Preview - Tuesday, Nov 13 -
ppt prelecture :
ppt postlecture - available after lecture :
zipped lecture - available after lecture
-
L22 Exam 2 Preview - Thursday, Nov 08 -
ppt prelecture :
ppt postlecture - available after lecture :
zipped lecture - available after lecture
-
L21 Bertolino - Tuesday, Nov 06 -
ppt prelecture :
ppt postlecture - available after lecture :
zipped lecture - available after lecture
-
L20 Hamlet - Thursday, Nov 01 -
ppt prelecture :
ppt postlecture - available after lecture :
zipped lecture - available after lecture
-
-
L19 Hamlet - Tuesday, Oct 30 -
ppt prelecture :
ppt postlecture - available after lecture :
zipped lecture - available after lecture
-
L18 Parnas - Thursday, Oct 25 -
ppt prelecture :
ppt postlecture - available after lecture :
zipped lecture - available after lecture
-
L17 exam review and Parnas - Tuesday, Oct 23 -
ppt prelecture :
ppt postlecture - available after lecture :
zipped lecture - available after lecture
-
L16 van der Meulen - Thursday, Oct 18 -
ppt prelecture :
ppt postlecture - available after lecture :
zipped lecture - available after lecture
-
L15 van der Meulen - Tuesday, Oct 16 -
ppt prelecture :
ppt postlecture - available after lecture :
zipped lecture - available after lecture
-
L14 van der Meulen - exam 1 - Thursday, Oct 11 -
ppt prelecture :
ppt postlecture - available after lecture :
zipped lecture - available after lecture
-
L12 Frankl - Tuesday, Oct 2 -
-
L13 Frankl - Tuesday, Oct 9 -
ppt prelecture :
ppt postlecture - available after lecture :
zipped lecture - available after lecture
-
L12 Frankl - Tuesday, Oct 2 -
ppt prelecture :
ppt postlecture - available after lecture :
zipped lecture - available after lecture
-
L11 Frankl - Thursday, Sep 27 -
ppt prelecture :
ppt postlecture - available after lecture :
zipped lecture - available after lecture
-
L10 Frankl - Tuesday, Sep 25 -
ppt prelecture :
ppt postlecture - available after lecture :
zipped lecture - available after lecture
-
L9 Frankl - Thursday, Sep 20 -
ppt prelecture :
ppt postlecture - available after lecture :
zipped lecture - available after lecture
-
L6 Frankl - Tuesday, Sep 11 -
-
L8 Frankl - Tuesday, Sep 18 -
ppt prelecture :
ppt postlecture - available after lecture :
zipped lecture - available after lecture
-
L6 Frankl - Tuesday, Sep 11 -
-
L7 Frankl - Thursday, Sep 13 -
ppt prelecture :
ppt postlecture - available after lecture :
zipped lecture - available after lecture
-
L6 Frankl - Tuesday, Sep 11 -
ppt prelecture :
ppt postlecture - available after lecture :
zipped lecture - available after lecture
-
No class on Thursday, Sep6
-
L5 Frankl - Tuesday, Sep 4 -
ppt prelecture :
ppt postlecture - available after lecture :
zipped lecture - available after lecture
-
L4 Detection Probablity part 2 - Thursday, Aug 30 -
ppt prelecture :
ppt postlecture - available after lecture :
zipped lecture - available after lecture
-
L3 Detection Probablity - Tuesday, Aug 28 -
ppt prelecture :
ppt postlecture - available after lecture :
zipped lecture - available after lecture
-
L2 Subdomains - Thursday, Aug 23 -
ppt prelecture :
ppt postlecture - available after lecture :
zipped lecture - available after lecture
-
L1 Introduction - Tuesday, Aug 21 -
ppt prelecture :
ppt postlecture - available after lecture :
zipped lecture - available after lecture