Using Abstraction in Modular Verification of Synchronous Adaptive Systems.
Ina SchaeferArnd Poetzsch-HeffterPublished in: Trustworthy Software (2006)
Keyphrases
- adaptive systems
- learning systems
- user modeling
- hardware designs
- bounded model checking
- adaptation strategies
- model checking
- e learning
- user centred evaluation
- context awareness
- user model
- formal verification
- hybrid intelligent systems
- high level
- sensor data
- asynchronous communication
- modular structure
- human computer interaction
- low cost
- artificial neural networks