- -

Listar por autor "Pardo Pont, Daniel"

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Listar por autor "Pardo Pont, Daniel"

Ordenar por:Orden:Resultados:

  • thumb
    Abstract Contract Synthesis and Verification in the Symbolic K Framework 
    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 ...
  • thumb
    Abstract Contract Synthesis and Verification in the Symbolic K Framework 
    Alpuente Frasnedo, María; Pardo, Daniel; Villanueva, Alicia (IOS Press, 2020)
    [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 ...
  • thumb
    Automatic Inference of Specifications in the K Framework 
    Alpuente Frasnedo, María; Pardo Pont, Daniel; Villanueva García, Alicia (Open Publishing Association, 2015)
    [EN] Despite its many unquestionable benefits, formal specifications are not widely used in industrial software development. In order to reduce the time and effort required to write formal specifications, in this paper ...
  • thumb
    Ejecución simbólica como herramienta de análisis 
    Pardo Pont, Daniel (Universitat Politècnica de València, 2015-03-25)
    [ES] El análisis automático de software permite verificar que un programa cumpla una serie de propiedades deseables sin intervención humana, aportando agilidad al proceso de ingeniería y reduciendo los riesgos del software ...
  • thumb
    Inferencia de especificaciones para programas C 
    Pardo Pont, Daniel (Universitat Politècnica de València, 2016-07-20)
    [EN] Despite its many unquestionable benefits, formal specifications are not widely used in industrial software development. In order to reduce the time and effort required to write formal specifications, in this Master ...
  • thumb
    Inferring Specifications in the K Framework 
    Alpuente Frasnedo, María; Pardo Pont, Daniel; Villanueva, Alicia (Open Publishing Association, 2015-09-15)
    [EN] Despite its many unquestionable benefits, formal specifications are not widely used in industrial software development. In order to reduce the time and effort required to write formal specifications, in this paper we ...