MCaaS: Model Checking in the Cloud for Assurances of Adaptive Systems.
Amir Molzam ShariflooAndreas MetzgerPublished in: Software Engineering for Self-Adaptive Systems (2013)
Keyphrases
- modal logic
- adaptive systems
- model checking
- temporal logic
- learning systems
- model checker
- epistemic logic
- automated verification
- concurrent systems
- formal specification
- computation tree logic
- user modeling
- transition systems
- temporal properties
- formal methods
- process algebra
- e learning
- verification method
- user model
- bounded model checking
- formal verification
- pspace complete
- linear temporal logic
- timed automata
- context awareness
- reachability analysis
- learning environment
- learning algorithm
- information retrieval
- planning domains