- -

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

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

Compartir/Enviar a

Citas

Estadísticas

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

Mostrar el registro completo del ítem

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

Ficheros en el ítem

Metadatos del ítem

Título: Ejecución simbólica como herramienta de análisis
Autor:
Director(es): Villanueva García, Alicia
Entidad UPV: 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ó
Fecha difusión:
Fecha acto/lectura: 2014-07-14
Resumen:
[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 ...[+]
Palabras clave: Análisis , Automático , Ejecución simbólica , Especificaciones , Formal , Inferencia , Semántica , Analysis , Automatic , Symbolic execution , Specifications , Inference , Semantics
Derechos de uso: Reconocimiento - No comercial (by-nc)
Titulación: Grado en Ingeniería Informática-Grau en Enginyeria Informàtica
Tipo: Proyecto/Trabajo fin de carrera/grado

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro completo del ítem