El objetivo de este proyecto es reducir la brecha existente entre los expertos en MDE y los de métodos formales para la verificación formal en este contexto. Para ello se definió un entorno formal para la especificación y verificación de MDE y se exploró el uso de programación funcional (en Haskell) para la aplicación de MDE.
Grupo de investigación
Participantes
Acrónimo
VHIDM
Tipo
Investigación
Instrumento
Proyecto
Entidad Financiadora
Fondo Clemente Estable, Convocatoria 2013
Contraparte
ANII