A Verifier for Functional Properties of Sequence-Manipulating Programs.

Published in: ATVA (2012)

Keyphrases

functional properties
boolean functions
bi decomposition
real time
data sets
databases
learning algorithm
decision trees
logic programs
computer programs
programming environment
automatic programming
control program