Formal consistency checking over specifications in natural languages.
Rongjie YanChih-Hong ChengYesheng ChaiPublished in: DATE (2015)
Keyphrases
- consistency checking
- formal language
- formal specification
- natural language
- stochastic search
- query answering
- reactive systems
- temporal constraints
- controlled natural language
- temporal reasoning
- operational semantics
- context sensitive
- requirements specification
- formal descriptions
- model checking
- formal languages
- data sources
- formal methods
- specification language
- high level
- data analysis
- path consistency
- end users
- arc consistency
- data exchange
- constraint satisfaction problems