- -

Automatic Inference of Specifications in the K Framework

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by

Statistics

Automatic Inference of Specifications in the K Framework

Show full item record

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

Files in this item

Item Metadata

Title: Automatic Inference of Specifications in the K Framework
Author: Alpuente Frasnedo, María Pardo Pont, Daniel Villanueva García, Alicia
UPV Unit: 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] 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 ...[+]
Subjects: Verification
Copyrigths: Reconocimiento (by)
Source:
Electronic Proceedings in Theoretical Computer Science. (issn: 2075-2180 )
DOI: 10.4204/EPTCS.200.1
Publisher:
Open Publishing Association
Publisher version: http://dx.doi.org/10.4204/EPTCS.200.1
Thanks:
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.
Type: Artículo

This item appears in the following Collection(s)

Show full item record