Back to Search
Start Over
Industrial Experience Report on the Formal Specification of a Packet Filtering Language Using the K Framework
- Source :
- EPTCS 240, 2017, pp. 38-52
- Publication Year :
- 2017
-
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.<br />Comment: In Proceedings F-IDE 2016, arXiv:1701.07925
- Subjects :
- Computer Science - Programming Languages
Computer Science - Software Engineering
Subjects
Details
- Database :
- arXiv
- Journal :
- EPTCS 240, 2017, pp. 38-52
- Publication Type :
- Report
- Accession number :
- edsarx.1701.08467
- Document Type :
- Working Paper
- Full Text :
- https://doi.org/10.4204/EPTCS.240.3