Diffy: Inductive Reasoning of Array Programs using Difference Invariants.

Supratik Chakraborty Ashutosh Gupta Divyesh Unadkat

Published in: CoRR (2021)

Keyphrases

inductive reasoning
imperative programs
data analysis
cognitive functions
affine invariant
neural network
artificial intelligence
information processing
databases
image sequences
answer sets
fixpoint