- -

Automatic Inference of Specifications in the K Framework

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

Compartir/Enviar a

Citas

Estadísticas

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. doi: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:
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:
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 we ...[+]
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
Patrocinador:
EU (FEDER) and Spanish MINECO [TIN2015-69175-C4-1-R] [TIN2013-45732-C4-1-P]
Generalitat Valenciana [PROMETEOII/2015/013]
Tipo: Artículo

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

Mostrar el registro completo del ítem