- -

Listar por palabra clave "Execució simbòlica"

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

Listar por palabra clave "Execució simbòlica"

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
    Validación Automática de Contratos Software con Z3 
    Sanz Carreres, Sergi (Universitat Politècnica de València, 2020-09-02)
    [ES] En Ingeniería de Software, el concepto de contrato está relacionado con una especificación del comportamiento de los programas utilizando descripciones que típicamente incluyen precondiciones y postcondiciones. El ...