Evaluation criteria to comparing of formal methods

Formal Methods have been seen as ways to improve the quality of the software development process. It uses mathematical models for analysis and verification at any part of the program life-cycle. Because the Formal Methods have useful effective in the development of critical systems, thus we scope to evaluate formal methods via variety parameters to analogy and best using of each one of them in suitable situation. The purpose of this paper is identify and discuss the main evaluation parameters for a Comparison of Formal Methods (CFM). A number of parameters should be taken into account when evaluating Formal Methods. Key parameters include readability, writability, reliability, and cost. These parameters and their sub parameters are presented and discussed below and form a proposed evaluation model, evaluation model of formal methods comparison.