VERIFIED Computer Football Strategy Games