Context-Bounded Verification of Context-Free Specifications.
Pascal BaumannMoses GanardiRupak MajumdarRamanathan S. ThinniyamGeorg ZetzschePublished in: Proc. ACM Program. Lang. (2023)
Keyphrases
- context free
- context dependent
- context sensitive
- attribute grammars
- context free languages
- contextual information
- context free grammars
- high level
- natural language
- inductive inference
- grammatical inference
- graph grammars
- low level
- information extraction
- model checking
- keywords
- reinforcement learning
- finite state
- artificial intelligence