Login / Signup
Invariant Generation through Strategy Iteration in Succinctly Represented Control Flow Graphs
Thomas Martin Gawlitza
David Monniaux
Published in:
Log. Methods Comput. Sci. (2012)
Keyphrases
</>
flow graphs
flow graph
control system
affine transformation
decision table
neural network
data mining
feature space
pattern recognition
evolutionary algorithm
invariant features
moment invariants
iterative process