CSCI 420: Quiz 4

Formal Verification
- What does it mean?
- How can we formally verify correctness?
- Justification / reason behind formal verification

Ethics
- Principles of SE Code of Ethics
- No analyzing a situation on the quiz (for your paper!)

Debugging Teams
- Chapter 5
- Chapter 6

NOTE: the above material will count for approximately 60% of the
      material for Quiz 4. The remaining 40% will come from prior
			material covered in the class.