Validating Inductive Hypotheses by Mode Inference

Some criteria based on mode inference for validating inductive hypotheses are presented in this pa- per.Mode inference is carried out mechanically,thus such kind of validation can result in low overhead in consistency check and high efficiency in performance.