📄️ Vague postconditions and proving correctness of algorithms
Debugging and testing with precise postconditions.
Algorithms and Correctness
Materials related to basic ideas behind algorithms and proofs of their correctness.
Materials related to basic ideas behind algorithms and proofs of their correctness.
Debugging and testing with precise postconditions.