FORQ-based Language Inclusion Formal Testing.
Kyveli DoveriPierre GantyNicolas MazzocchiPublished in: CoRR (2022)
Keyphrases
- formal language
- operational semantics
- programming language
- formal languages
- visual languages
- natural language
- mathematical theory
- highly expressive
- model theoretic
- machine learning
- language learning
- formal descriptions
- formal representation
- english language
- specification language
- formal semantics
- formal model
- speech acts
- representation language
- meta level
- formal specification
- multi agent
- information retrieval
- concurrent programs
- databases