Coinductive Reasoning

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
A method of defining and reasoning about potentially infinite or circular structures and behaviors by characterizing them as greatest fixed points of operators and proving properties via coinductive hypotheses such as bisimulations and observations.