Accelerated Invariant Generation for C Programs with Aspic and C2fsm.

Paul Feautrier Laure Gonnord

Published in: Electron. Notes Theor. Comput. Sci. (2010)

Keyphrases

finite state machines
affine transformation
information systems
affine invariant
generation algorithm
automatic programming
genetic algorithm
multiscale
pattern recognition
expert systems
model checking
invariant features
computer programs
moment invariants
generation process
control structures