On Strongest Algebraic Program Invariants.

Ehud Hrushovski Joël Ouaknine Amaury Pouly James Worrell

Published in: J. ACM (2023)

Keyphrases

imperative programs
affine invariant
data sets
higher order
test cases
real world
multi agent
data structure
d objects
programming language
java programs