Software Correctness

• Proof Methods
• Proving Programs Correct
• What is the meaning of the program?
• WP calculus