Exploiting state encoding for invariant generation in induction-based property checking.

Markus Wedler Dominik Stoffel Wolfgang Kunz

Published in: ASP-DAC (2004)

Keyphrases

state space
data sets
neural network
machine learning
similarity measure
inductive learning
concept learning
desirable properties
encoding scheme
consistency checking