Formal Verification Of Ai Software by United States Government