Automatic symbolic compositional verification by learning assumptions.

Wonhong Nam P. Madhusudan Rajeev Alur

Published in: Formal Methods Syst. Des. (2008)

Keyphrases

learning algorithm
learning process
knowledge acquisition
learning systems
reinforcement learning
learning scheme
mobile learning
learning tasks
incremental learning
training set
active learning
online learning
background knowledge
learning community