
Basic data
- Otros
- Salud
Generalitat Valenciana
Deep logic technology to ensure software reliability
Generalitat Valenciana
The objective of this project is the development of new techniques and automatic tools to guarantee software reliability, helping to eradicate bugs that could otherwise lead to security vulnerabilities and/or computational errors. The project proposes an integrated research program in formal techniques for software quality, a technology with a strong mathematical basis that is applied to the analysis, modeling, verification, synthesis, learning, debugging and automatic optimization of complex systems.
The objective of this project is the development of new techniques and automatic tools to guarantee software reliability, helping to eradicate bugs that could otherwise lead to security vulnerabilities and/or computational errors. The project proposes an integrated research program in formal techniques for software quality, a technology with a strong mathematical basis that is applied to the analysis, modeling, verification, synthesis, learning, debugging and automatic optimization of complex systems.
María Alpuente
Professor
VRAIN