Verification Of Genetic Fuzzy Systems