The structural induction methodology can be developed in a generic
manner that does not depend upon the underlying logical systems
and which is thus applicable to a wide variety of logic-based
specification formalisms. In this talk we present the
foundations of such logic-independent methodology and
explore its levels of automation.
|