Generating invariants for non-linear loops by linear algebraic methods.

Rachid Rebiha Arnaldo Vieira Moura Nadir Matringe

Published in: Formal Aspects Comput. (2015)

Keyphrases

simple linear
empirical studies
qualitative and quantitative
benchmark datasets
genetic algorithm
multiscale
search algorithm
preprocessing
high dimensional