Formal Analysis of Human-computer Interaction using Model-checking.
Antonio CeronePeter A. LindsaySimon ConnellyPublished in: SEFM (2005)
Keyphrases
- human computer interaction
- formal analysis
- model checking
- formal methods
- temporal logic
- model checker
- formal verification
- formal specification
- human computer
- temporal properties
- automated verification
- symbolic model checking
- human computer interface
- user interface
- hand gestures
- human factors
- gesture recognition
- epistemic logic
- transition systems
- bounded model checking
- verification method
- computation tree logic
- reactive systems
- multimodal interfaces
- timed automata
- software engineering
- information systems
- software development
- source code
- database