- -

Logical models for automated semantics-directed program analysis

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by

Statistics

Logical models for automated semantics-directed program analysis

Show full item record

Reinoso Mendoza, EP. (2015). Logical models for automated semantics-directed program analysis. http://hdl.handle.net/10251/75034

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

Files in this item

Item Metadata

Title: Logical models for automated semantics-directed program analysis
Author: Reinoso Mendoza, Efren Patricio
Director(s): Lucas Alba, Salvador Gutiérrez Gil, Raúl
UPV Unit: Universitat Politècnica de València. Servicio de Alumnado - Servei d'Alumnat
Read date / Event date:
2015-07-22
Issued date:
Abstract:
[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. ...[+]
Subjects: Automation of program análysis , Logic and models , Verficación de programas , Automatización del análisis de , Lógica y modelos , Program verification
Copyrigths: Reconocimiento - No comercial - Sin obra derivada (by-nc-nd)
degree: Máster Universitario en Ingeniería y Tecnología de Sistemas Software-Màster Universitari en Enginyeria i Tecnologia de Sistemes Programari
Type: Tesis de máster

This item appears in the following Collection(s)

Show full item record