notes

notes

1) Correctness

1.1) Specification

Correctness is a relative notion

1.2) Consequences

1. Knowing its correct
2. Gaining a deeper understanding of the problem
3. Documentation
4. A basis for testing
5. A basis for debugging

1.3) Weak and Strong

• weak pre
• strong post