A Novel Methodology Based on Formal Methods for Analysis and Verification of Wikis