Solving Invariant Generation for Unsolvable Loops.

Daneshvar Amrollahi Ezio Bartocci George Kenison Laura Kovács Marcel Moosbrugger Miroslav Stankovic

Published in: SAS (2022)

Keyphrases

case study
affine transformation
generation process
neural network
knowledge base
data structure
special case
optimization problems
linear programming
combinatorial optimization
moment invariants