V&V of Lexical, Syntactic and Semantic Properties for Interactive Systems through Model Checking of Formal Description of Dialog.
Guillaume BratCélia MartiniePhilippe A. PalanquePublished in: HCI (1) (2013)
Keyphrases
- model checking
- interactive systems
- semantic properties
- formal specification
- natural language text
- semantic knowledge
- natural language
- user interface
- temporal logic
- human computer interaction
- natural language processing
- computational properties
- automated verification
- model checker
- finite state
- symbolic model checking
- formal verification
- temporal properties
- computation tree logic
- verification method
- information extraction
- epistemic logic
- text mining
- semantic network
- wordnet
- formal methods
- timed automata
- bounded model checking
- transition systems
- machine learning
- database
- knowledge representation
- binary decision diagrams
- domain knowledge
- co occurrence
- keywords
- high level
- artificial intelligence