Formal Consistency Checking over Specifications in Natural Languages.
Rongjie YanChih-Hong ChengGuangquan ZhangYesheng ChaiPublished in: CoRR (2014)
Keyphrases
- consistency checking
- formal language
- natural language
- formal specification
- stochastic search
- reactive systems
- controlled natural language
- query answering
- operational semantics
- formal languages
- temporal constraints
- formal descriptions
- temporal reasoning
- requirements specification
- context sensitive
- constraint satisfaction problems
- high level
- semantic interpretation
- arc consistency
- incomplete information
- case study