Home   >   Projects   >   DEEPTRUST

DeepTrust

Deep logic technology to ensure software reliability

Field
Regional
Date
01/01/2019 - 31/12/2022
Industry
  • Otros
  • Salud
Budget
260924
Funded by

Generalitat Valenciana

Website
Video

PROJECT INFORMATION

DESCRIPTION

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.

Impact

The DeepTrust project will advance the methods of analysis, specification, debugging, verification, optimization and automatic learning of models and programs so that they can be used by the software industry. It will drive high-security computing and contribute to improving the technologies and software systems that are in demand today and will be used in the future.

Entities

Universitat Politècnica de València

Contact information

María Alpuente
Professor

VRAIN

Technological capabilities

IA
Machine learning technologies