A Novel Methodology Based on Formal Methods for Analysis and Verification of Wikis | IEEE Conference Publication | IEEE Xplore