Verification Of Fta