- -

Abstract Contract Synthesis and Verification in the Symbolic K Framework

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by

Statistics

Abstract Contract Synthesis and Verification in the Symbolic K Framework

Show full item record

Alpuente Frasnedo, M.; Pardo Pont, D.; Villanueva García, A. (2018). Abstract Contract Synthesis and Verification in the Symbolic K Framework. Universitat Politècnica de València. http://hdl.handle.net/10251/100304

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

Files in this item

Item Metadata

Title: Abstract Contract Synthesis and Verification in the Symbolic K Framework
Author: Alpuente Frasnedo, María Pardo Pont, Daniel Villanueva García, Alicia
UPV Unit: Universitat Politècnica de València. Grupo de Extensiones de la Programación Lógica (ELP)
Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Issued date:
Abstract:
[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 ...[+]
Subjects: Contract , Inference , Symbolic execution , Abstract , Subsumption , Deductive , Verification , Contrato , Inferencia , Ejecución simbólica , Subsunción , Abstracta , Deductiva , Verificación , Contracte , Inferència , Execució simbòlica , Subsumpció , Verificació
Copyrigths: Reconocimiento - No comercial - Compartir igual (by-nc-sa)
Publisher:
Universitat Politècnica de València
Project ID:
info:eu-repo/grantAgreement/MINECO//TIN2015-69175-C4-1-R/ES/SOLUCIONES EFECTIVAS BASADAS EN LA LOGICA/
info:eu-repo/grantAgreement/MINECO//TIN2013-45732-C4-1-P/ES/UNA APROXIMACION DECLARATIVA AL MODELADO, ANALISIS Y RESOLUCION DE PROBLEMAS/
GV/PROMETEOII/2015/013
info:eu-repo/grantAgreement/MECD//FPU14%2F01830/ES/FPU14%2F01830/
Thanks:
This work has been partially supported by the EU (FEDER) and Spanish MINECO under grant TIN2015-69175-C4-1-R, and and TIN2013-45732-C4-1-P, and by Generalitat Valenciana PROMETEOII/2015/013. Daniel Pardo was supported ...[+]
Type: Informe

recommendations

 

This item appears in the following Collection(s)

Show full item record