Synthesizing Invariants by Solving Solvable Loops.

Steven de Oliveira Saddek Bensalem Virgile Prevosto

Published in: ATVA (2017)

Keyphrases

special case
np hard
computational complexity
pattern recognition
np complete
combinatorial optimization
nonlinear equations
artificial intelligence
information systems
three dimensional
video sequences
timetabling problem
imperative programs