SMT-Based Array Invariant Generation.

Daniel Larraz, Enric Rodrguez-Carbonell, Albert Rubio

Browse the full VMCAI paper archive.