Learning from Constraints for Formal Property Checking.

In-Ho Moon Kevin Harer

Published in: J. Electron. Test. (2010)

Keyphrases

learning process
learning algorithm
neural network
learning systems
data sets
prior knowledge
supervised learning
database
search engine
social networks
constraint satisfaction
learning scenarios
incremental learning