¿Quizás un rumbo nuevo?

Estuvimos charlando con Diego G. y Daniel G. porque existía la posibilidad de tomar un rumbo relativamente distinto en la tesis.

Dani propone analizar un lenguajecito muy chico, inventado por nosotros para demostrar que el código cumple con la especificación, suponiendo que el usuario provee precondición, postcondición e invariantes para los ciclos.

Si logramos hacer inferencia de invariantes con una herramienta similar a la de Diego P., luego la usabilidad sería relativamente alta y el lenguajecito podría ir creciendo hasta tener algo relativamente serio.

Veremos cómo sigue esto, es una opción más que interesante.