An Approach to Checking Correctness for Agentic Systems