By the power of SMT! mining function contracts to better bounded model checking.

Azat Abdullin Marat Akhin

Published in: SoftwareMining@ASE (2016)

Keyphrases

bounded model checking
model checking
formal verification
data mining
supply chain
web mining
knowledge discovery
text mining
data mining techniques
association rules
dynamic programming
natural language processing
general purpose
itemsets
pattern mining