Alpuente Frasnedo, María; Pardo Pont, Daniel; Villanueva García, Alicia(Universitat Politècnica de València, 2018-04-12)
[EN] In this article, we propose a symbolic technique that can be used for automatically inferring software contracts from programs that are written in a non-trivial fragment of C, called KernelC, that supports pointer-based ...
Grimalt Ferrer, Marina(Universitat Politècnica de València, 2018-09-19)
[ES] Las empresas que quieran exportar productos a EEUU deben tener un Plan
de Inocuidad de Alimentos específico llevado a cabo mediante un Análisis de
Peligros y Controles Preventivos Basado en Riesgo (HARPC). En este ...
Díaz Román, Antonio(Universitat Politècnica de València, 2018-09-18)
[ES] La verificación es una etapa crítica en cualquier proyecto de desarrollo de software.
El principal objetivo de la verificación es que el software que está siendo desarrollado
se comporte conforme a su especificación ...