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 mathematicalmodels for analysis and verification at any part of the program life-cycle. Because the Formal Methods have useful effective in thedevelopment of critical systems, thus we scope to evaluate formal methods via variety parameters to analogy and best using of each oneof them in suitable situation. The purpose of this paper is identify and discuss the main evaluation parameters for a Comparison ofFormal Methods (CFM). A number of parameters should be taken into account when evaluating Formal Methods. Key parametersinclude readability, writability, reliability, and cost. These parameters and their sub parameters are presented and discussed below andform a proposed evaluation model, evaluation model of formal methods comparison.

Evaluation criteria to comparing of formal methods Keywords:

Evaluation criteria , formal methods , comparison