A Novel Classification Technique based on Formal Methods