«

»

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

by Gurvan Le Guernic, Benoit Combemale, José A Galindo
Reference:
Industrial Experience Report on the Formal Specification of a Packet Filtering Language Using the K Framework (Gurvan Le Guernic, Benoit Combemale, José A Galindo), In 3rd Workshop on Formal Integrated Development Environment (F-IDE), 2016.
Bibtex Entry:
@inproceedings{leguernic:hal-01401849,
  TITLE = {{Industrial Experience Report on the Formal Specification of a Packet Filtering Language Using the K Framework}},
  AUTHOR = {Le Guernic, Gurvan and Combemale, Benoit and Galindo, Jos{'e} A},
  URL = {https://hal.inria.fr/hal-01401849},
  BOOKTITLE = {{3rd Workshop on Formal Integrated Development Environment (F-IDE)}},
  ADDRESS = {Limassol, Cyprus},
  ORGANIZATION = {{Catherine Dubois and Dominique Mery and Paolo Masci}},
  YEAR = {2016},
  MONTH = Nov,
  KEYWORDS = {Formal specification ; Language ; Semantics ; Packet filtering ; K framework ; Sp{'e}cification Formelle ; Langage ; S{'e}mantique ; Filtrage de trames ; Framework K},
  PDF = {https://hal.inria.fr/hal-01401849/file/2016-08-21_F-IDE_FSPFL.pdf},
  HAL_ID = {hal-01401849},
  HAL_VERSION = {v1},
}