Industrial Experience Report on the Formal Specification of a Packet Filtering Language Using the K Framework - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

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

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

  • HAL Id : hal-01401849 , version 1

Citer

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⟩
292 Consultations
161 Téléchargements

Partager

Gmail Facebook X LinkedIn More