- -

Ejecución simbólica como herramienta de análisis

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by

Statistics

Ejecución simbólica como herramienta de análisis

Show full item record

Pardo Pont, D. (2014). Ejecución simbólica como herramienta de análisis. http://hdl.handle.net/10251/48259.

Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10251/48259

Files in this item

Item Metadata

Title: Ejecución simbólica como herramienta de análisis
Author: Pardo Pont, Daniel
Director(s): Villanueva García, Alicia
UPV Unit: Universitat Politècnica de València. Escola Tècnica Superior d'Enginyeria Informàtica
Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Read date / Event date:
2014-07-14
Issued date:
Abstract:
[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 ...[+]


[EN] Automatic software analysis allows developers to verify if a program satisfies a series of desirable properties without human intervention, accelerating the engineering process and reducing the risks of critical ...[+]
Subjects: Análisis , Automático , Ejecución simbólica , Especificaciones , Formal , Inferencia , Semántica , Analysis , Automatic , Symbolic execution , Specifications , Inference , Semantics
Copyrigths: Reconocimiento - No comercial (by-nc)
degree: Grado en Ingeniería Informática-Grau en Enginyeria Informàtica
Type: Proyecto/Trabajo fin de carrera/grado

This item appears in the following Collection(s)

Show full item record