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

Abstract

Publication
3rd Workshop on Formal Integrated Development Environment
Date