Login / Signup

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

Gurvan Le GuernicBenoît CombemaleJosé Angel Galindo
Published in: F-IDE@FM (2016)
Keyphrases
  • formal specification
  • specification language
  • database
  • case study
  • file system
  • concurrent systems
  • process algebra