RecordFlux: Formal Message Specification and Generation of Verifiable Binary Parsers.
Tobias ReiherAlexander SenierJerónimo CastrillónThorsten StrufePublished in: CoRR (2019)
Keyphrases
- formal specification
- operational semantics
- formal methods
- reactive systems
- formal language
- specification language
- specification languages
- requirements specification
- generation process
- non binary
- sufficient conditions
- high level
- neural network
- communication channels
- formal languages
- first order logic
- logic programs
- multi class
- natural language
- agent communication language
- information retrieval