Sajjad jeddi Saravi

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…