
DATOS BÁSICOS
- Otros
- Salud
Generalitat Valenciana
Tecnologíaa lógica profunda para asegurar la confiabilidad del software
Generalitat Valenciana
El objetivo de este proyecto es el desarrollo de nuevas técnicas y herramientas automáticas que permitan garantizar la confiabilidad del software, contribuyendo a erradicar los fallos que, de otra forma, podrían conducir a vulnerabilidades de seguridad y/o errores de cómputo. El proyecto plantea un programa integrado de investigación en técnicas formales para la calidad del software, una tecnología con fuerte base matem´atica que se aplica al análisis, modelado, verificación, síntesis, aprendizaje, depuración y optimización automática de sistemas complejos.
El objetivo de este proyecto es el desarrollo de nuevas técnicas y herramientas automáticas que permitan garantizar la confiabilidad del software, contribuyendo a erradicar los fallos que, de otra forma, podrían conducir a vulnerabilidades de seguridad y/o errores de cómputo. El proyecto plantea un programa integrado de investigación en técnicas formales para la calidad del software, una tecnología con fuerte base matem´atica que se aplica al análisis, modelado, verificación, síntesis, aprendizaje, depuración y optimización automática de sistemas complejos.
María Alpuente
Profesora
VRAIN