Repositorio de producción científica de la Universidad de Sevilla

Industrial Experience Report on the Formal Specification of a Packet Filtering Language Using the K Framework

 

Advanced Search
 
Opened Access Industrial Experience Report on the Formal Specification of a Packet Filtering Language Using the K Framework
Cites

Show item statistics
Icon
Export to
Author: Le Guernic, Gurvan
Combemale, Benoit
Galindo Duarte, José Ángel
Department: Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos
Date: 2016
Published in: F-IDE 2016 : Third Workshop on Formal Integrated Development Environment (2016), p 38-52
ISBN/ISSN: 2075-2180
Document type: Presentation
Abstract: Many project-specific languages, including in particular filtering languages, are defined using nonformal specifications written in natural languages. This leads to ambiguities and errors in the specification of those languages. This paper reports on an industrial experiment on using a tool-supported language specification framework (K) for the formal specification of the syntax and semantics of a filtering language having a complexity similar to those of real-life projects. This experimentation aims at estimating, in a specific industrial setting, the difficulty and benefits of formally specifying a packet filtering language using a tool-supported formal approach.
Cite: Le Guernic, G., Combemale, B. y Galindo Duarte, J.Á. (2016). Industrial Experience Report on the Formal Specification of a Packet Filtering Language Using the K Framework. En F-IDE 2016 : Third Workshop on Formal Integrated Development Environment (38-52), Limassol, Cyprus: Open Publishing Association..
Size: 722.9Kb
Format: PDF

URI: http://hdl.handle.net/11441/62670

DOI: 10.4204/EPTCS.240.3

See editor´s version

This work is under a Creative Commons License: 
Attribution-NonCommercial-NoDerivatives 4.0 Internacional

This item appears in the following Collection(s)