The formal methods :
Allow to define mathematically and rigorously the properties of operation of a system. Formal methods may apply to any stage of development of a project, as well from the specification phase to the phase of implementation. Continue reading »