- -

Automatic Inference of Specifications in the K Framework

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

Compartir/Enviar a

Citas

Estadísticas

  • Estadisticas de Uso

Automatic Inference of Specifications in the K Framework

Mostrar el registro completo del ítem

Alpuente Frasnedo, M.; Pardo Pont, D.; Villanueva García, A. (2015). Automatic Inference of Specifications in the K Framework. Electronic Proceedings in Theoretical Computer Science. (200):1-17. https://doi.org/10.4204/EPTCS.200.1

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

Ficheros en el ítem

Metadatos del ítem

Título: Automatic Inference of Specifications in the K Framework
Autor: Alpuente Frasnedo, María Pardo Pont, Daniel Villanueva García, Alicia
Entidad UPV: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Fecha difusión:
Resumen:
[EN] Despite its many unquestionable benefits, formal specifications are not widely used in industrial software development. In order to reduce the time and effort required to write formal specifications, in this paper ...[+]
Palabras clave: Verification
Derechos de uso: Reconocimiento (by)
Fuente:
Electronic Proceedings in Theoretical Computer Science. (issn: 2075-2180 )
DOI: 10.4204/EPTCS.200.1
Editorial:
Open Publishing Association
Versión del editor: http://dx.doi.org/10.4204/EPTCS.200.1
Código del Proyecto:
info:eu-repo/grantAgreement/MINECO//TIN2015-69175-C4-1-R/ES/SOLUCIONES EFECTIVAS BASADAS EN LA LOGICA/
info:eu-repo/grantAgreement/GVA//PROMETEOII%2F2015%2F013/ES/SmartLogic: Logic Technologies for Software Security and Performance/
info:eu-repo/grantAgreement/MINECO//TIN2013-45732-C4-1-P/ES/UNA APROXIMACION DECLARATIVA AL MODELADO, ANALISIS Y RESOLUCION DE PROBLEMAS/
Agradecimientos:
This work has been partially supported by the EU (FEDER) and Spanish MINECO under grants TIN2015-69175-C4-1-R and TIN2013-45732-C4-1-P, and by Generalitat Valenciana ref. PROMETEOII/2015/013.
Tipo: Artículo

recommendations

 

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

Mostrar el registro completo del ítem