Lecture: Course Introduction

Background Material

• Think about various bugs you have encountered in your\ programming experience
• Review how you debug and test your programs
• Think about what is a proof?

Reading

• CMU Chapter 1

Topics

• Overview of the course.
• Objectives
• Topics
• Grading policy and expectations
• Verification of Computer Systems
• Catastrophic bugs
• Formal methods
• Success stories
• Approaches

Lecture Notes

• intro.ppt or intro.pdf

Programs

• None

Resources

• CMU text on Logic and Proof

Assignments

• Sign up for OLI account and purchase CMU Logic and Proof text. Use drexel-landp for the course key. You will need to pay $40 for the text.
• Read the first chapter of CMU text and try the quiz.
• Activiate your piazza account (you should have receieved an email enrolling you in the course)
• Look for an example of software bug of flaw that had significant consequences