Publication | Open Access

On the completeness of the inductive assertion method

EngineeringAutomated ReasoningProof ComplexityVerificationFormal MethodsComputer ScienceInductive LogicFormal VerificationInductive Assertion MethodInductive Inference