Métodos formales aplicados en la industria del software