- -

Listar por palabra clave "Program verification"

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

Listar por palabra clave "Program verification"

Ordenar por:Orden:Resultados:

  • thumb
    Abstract Diagnosis for tccp using a Linear Temporal Logic 
    Comini, Marco; Titolo, Laura; Villanueva García, Alicia (Universitat Politècnica de València, 2014-02-15)
    Automatic techniques for program verification usually suffer the well-known state explosion problem. Most of the classical approaches are based on browsing the structure of some form of model (which rep- resents the behavior ...
  • thumb
    Abstract Diagnosis for tccp using a Linear Temporal Logic 
    Comini, Marco; Titolo, Laura; Villanueva García, Alicia (Cambridge University Press, 2014-07)
    [EN] Automatic techniques for program verification usually suffer the well-known state explosion problem. Most of the classical approaches are based on browsing the structure of some form of model (which represents the ...
  • thumb
    Logical models for automated semantics-directed program analysis 
    Reinoso Mendoza, Efren Patricio (Universitat Politècnica de València, 2016-12-07)
    [EN] In Computer Science and Software Engineering, even at this time, when huge hardware and software resources are available, the problem of checking correctness of an specific piece of software is a very complicated one. ...