Text this: Algoritmos heurísticos y aplicaciones a métodos formales