Symbolic Verification of Fuzzy Logic Models