Inductive Verification of Iterative Systems.

June-Kyung Rho, Fabio Somenzi

Browse the full DAC paper archive.