| 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 <>
Submitted on : Wednesday, November 23, 2016 - 7:46:14 PM
Last modification on : Thursday, January 7, 2021 - 4:29:21 PM
Contributor : Gurvan Le Guernic <>
Submitted on : Wednesday, November 23, 2016 - 7:46:14 PM
Last modification on : Thursday, January 7, 2021 - 4:29:21 PM
File
2016-08-21_F-IDE_FSPFL.pdf
Files produced by the author(s)