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