| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
Industrial Experience Report on the Formal Specification of a Packet Filtering Language Using the K Framework
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.
Cited literature [24 references]
https://hal.inria.fr/hal-01401849
Contributor : Gurvan Le Guernic Connect in order to contact the contributor
Submitted on : Wednesday, November 23, 2016 - 7:46:14 PM
Last modification on : Wednesday, November 3, 2021 - 6:05:43 AM
Contributor : Gurvan Le Guernic Connect in order to contact the contributor
Submitted on : Wednesday, November 23, 2016 - 7:46:14 PM
Last modification on : Wednesday, November 3, 2021 - 6:05:43 AM
File
2016-08-21_F-IDE_FSPFL.pdf
Files produced by the author(s)