El presente proyecto plantea el desarrollo de la herramienta Neural Checker utilizada por la Cátedra de inteligencia artificial de la Universidad ORT Uruguay. El desarrollo de la herramienta busca resolver ciertos problemas ya que no satisface las necesidades actuales. El objetivo general del proyecto, no es el producto en sí, sino el proceso de investigación y análisis para lograr encontrar la mejor solución, siendo el producto una validación del resultado de esta investigación. Las funcionalidades principales de la herramienta abarcan el desarrollo de algoritmos de inferencia de modelos, las estructuras necesarias para el funcionamiento de los algoritmos, la ejecución de estos, la interacción con redes neuronales, el almacenamiento del modelo inferido, y una aplicación web para facilitar la visualización de los resultados. Para esto se desarrolló un software complejo utilizando tecnologías actuales, teniendo que profundizar en el aprendizaje de lenguajes regulares, el algoritmo L*, el framework PAC de análisis de aprendizaje automático, RNNs, etc. La arquitectura contempla los principales requerimientos del cliente, entre los que destacan la modificabilidad, la seguridad y la performance. La investigación y el análisis resultaron satisfactorios al igual que la relación con el cliente. La cátedra siempre se mostró disponible y en todo momento dio sugerencias a los miembros del equipo para mejorar el proceso de trabajo. Se presenta la documentación y concluye con proyecciones a futuro.