Diffy: Inductive Reasoning of Array Programs Using Difference Invariants.

Supratik Chakraborty Ashutosh Gupta Divyesh Unadkat

Published in: CAV (2) (2021)

Keyphrases

inductive reasoning
imperative programs
cognitive functions
programmable logic
computer programs
database
real time
case study
multiscale
quasi invariant