Industrial Experience Report on the Formal Specification of a Packet Filtering Language Using the K Framework - Archive ouverte HAL Access content directly
Conference Papers Year : 2016

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

(1, 2) , (2) , (2)
1
2

Abstract

Many project-specific languages, including in particular filtering languages, are defined using non-formal 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.
Fichier principal
Vignette du fichier
2016-08-21_F-IDE_FSPFL.pdf (659.79 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01401849 , version 1 (23-11-2016)

Identifiers

  • HAL Id : hal-01401849 , version 1

Cite

Gurvan Le Guernic, Benoit Combemale, José Angel Galindo Duarte. Industrial Experience Report on the Formal Specification of a Packet Filtering Language Using the K Framework. 3rd Workshop on Formal Integrated Development Environment, Catherine Dubois; Dominique Mery; Paolo Masci, Nov 2016, Limassol, Cyprus. ⟨hal-01401849⟩
271 View
115 Download

Share

Gmail Facebook Twitter LinkedIn More