Software Quality Control through Formal Method