Sciduction: Combining induction, deduction, and structure for verification and synthesis