Correctness Analysis: Proving the Solution Works - The Producer-Consumer Problem | OneNoughtOne