MENDELS: Concurrent Program Synthesis System Using Temporal Logic.
Naoshi UchihiraKazunori MatsumotoShinichi HonidenHideo NakamuraPublished in: LP (1987)
Keyphrases
- temporal logic
- program synthesis
- temporally extended
- model checking
- modal logic
- satisfiability problem
- recursive programs
- concurrent systems
- verification method
- automata theoretic
- mazurkiewicz traces
- linear temporal logic
- temporal knowledge
- inductive logic programming
- belief revision
- relational learning
- computation tree logic
- domain knowledge
- transition systems
- bounded model checking
- contextual information