RecordFlux: Formal Message Specification and Generation of Verifiable Binary Parsers.
Tobias ReiherAlexander SenierJerónimo CastrillónThorsten StrufePublished in: FACS (2019)
Keyphrases
- formal specification
- formal methods
- formal language
- reactive systems
- formal languages
- operational semantics
- high level
- specification languages
- specification language
- non binary
- context free grammars
- hamming distance
- formal model
- user defined
- agent communication language
- requirements specification
- natural language processing
- knowledge representation languages