Convocatoria: Proyectos en Ciencias e Innovación de la Embajada Británica en Montevideo
Fuente de financiamiento: Embajada Británica en Montevideo
Duración: 6 meses
Fecha de aprobación: Octubre 2015
Fecha de comienzo: Noviembre 2015
Fecha de finalización: Mayo 2016
Resumen
En este proyecto se busca proporcionar la base necesaria para la implementación de un sistema de representación de lógicas, programas, especificaciones y pruebas de corrección, siguiendo el enfoque nominal, lo que constituye un aporte significativo al estado del arte en el tema.