LOVER: Light-Weight fOrmal Verification of adaptivE Systems at Run Time.
Amir Molzam ShariflooPaola SpoletiniPublished in: FACS (2012)
Keyphrases
- lightweight
- formal verification
- adaptive systems
- model checking
- learning systems
- user modeling
- model checker
- automated verification
- e learning
- bounded model checking
- adaptation strategies
- symbolic model checking
- user model
- learning environment
- context awareness
- temporal logic
- hybrid intelligent systems
- wireless sensor networks
- computational intelligence
- recommender systems
- artificial intelligence