Combining Syntactic and Semantic Encoding for LTL Bounded Model Checking.
Wanwei LiuXiaoguang MaoGeguang PuRui WangPublished in: TASE (2014)
Keyphrases
- bounded model checking
- linear temporal logic
- model checking
- syntactic semantic
- formal verification
- natural language
- temporal logic
- semantic representation
- semantic parsing
- semantic representations
- semantic analysis
- semantic information
- semantic constraints
- semantic knowledge
- domain independent
- syntactic structures
- syntactic analysis
- recognizing textual entailment
- multi agent systems
- semantic web
- semantic role labeling
- semantic similarity
- semantic parser
- model checker
- dependency parsing
- natural language sentences
- concurrent systems
- context dependent
- domain specific