cbmc based tool for verifying copilot programs - View it on GitHub