Towards Neural-Guided Program Synthesis for Linear Temporal Logic Specifications.
Alberto CamachoSheila A. McIlraithPublished in: CoRR (2019)
Keyphrases
- program synthesis
- linear temporal logic
- bounded model checking
- recursive programs
- temporal logic
- model checking
- transition systems
- concurrent systems
- model checker
- specification language
- formal verification
- reactive systems
- formal specification
- inductive logic programming
- high level
- description language
- process model
- natural language