Login / Signup
An approach to formal verification of human-computer interaction.
Paul Curzon
Rimvydas Ruksenas
Ann Blandford
Published in:
Formal Aspects Comput. (2007)
Keyphrases
</>
human computer interaction
formal verification
model checking
model checker
automated verification
user interface
bounded model checking
human factors
augmented reality
facial expression recognition
human computer
human activities
gesture recognition
interface design
symbolic model checking
hand gestures
human computer interface
artificial intelligence
multimodal interfaces
user interface design
interaction design
affective computing
eye tracking
software engineering
relational databases
interactive systems