Model Finding for Recursive Functions in SMT.

Andrew Reynolds Jasmin Christian Blanchette Simon Cruanes Cesare Tinelli

Published in: IJCAR (2016)

Keyphrases

computational model
experimental data
formal model
probabilistic model
statistical model
conceptual model
high level
data sets
learning process
prior knowledge
probability distribution
upper bound
theoretical analysis