Khan Academy
Khan Academy: Verifying an Algorithm
Practice verifying whether algorithms are correct with empirical analysis and logical reasoning, in this set of free practice questions designed for AP Computer Science Principles students.
Khan Academy
Khan Academy: Verifying an Algorithm
The use of formal reasoning to determine if an algorithm is correct.