Some usability hypotheses for verification.

David J. Pearce

Published in: PLATEAU@SPLASH (2015)

Keyphrases

model checking
user experience
formal verification
artificial intelligence
hypothesis verification

signature verification
formal analysis
usability evaluation
multiple hypotheses
user satisfaction

user centered
interface design
expert systems
feature extraction
asynchronous circuits

verification method
concurrent systems
heuristic evaluation
real time