Formal verification of user-level real-time property patterns.
Ning GeMarc PantelSilvano Dal-ZilioPublished in: TASE (2017)
Keyphrases
- formal verification
- real time
- model checking
- automated verification
- bounded model checking
- model checker
- temporal logic
- user preferences
- low cost
- data mining techniques
- symbolic model checking
- user satisfaction
- abstraction levels
- pattern discovery
- computer screen
- visual feedback
- usage patterns
- user model
- frequent patterns
- user interaction
- relevance feedback
- recommender systems