Research ArticleOpen accessPhrase in the titleUsability Requirements of Formal Verification Tools: A SurveyRozilawati Razali, Paul GarrattProblem statement: Formal notations employ mathematical symbols and interpretation to illustrate system elements. The formality imposed by the notations allows the accuracy and consistency of a system model to be confirmed by verification tools. Formal notations on the other hand are difficult to understand and use by most users. As supporting instruments, verification tools are expected to be as usable … …Journal of Computer Science, Vol. 6, Issue 10 · 10 Aug 2010 · 7,185 accessesView PDFCite