Abstraction and Learning for Infinite-State Compositional Verification.
Dimitra GiannakopoulouCorina S. PasareanuPublished in: Festschrift for Dave Schmidt (2013)
Keyphrases
- learning process
- prior knowledge
- learning tasks
- active learning
- mobile learning
- supervised learning
- learning scenarios
- learning problems
- model checking
- databases
- domain knowledge
- reinforcement learning
- information systems
- learning analytics
- learning systems
- inductive learning
- computer programming
- learning phase
- background knowledge
- online learning
- case study
- search engine