Coinduction

In computer science, coinduction is a technique for defining, and proving properties of, systems of concurrent interacting objects. Mathematically, it is dual to structural induction.

As a definition or specification, coinduction describes how an object may be broken down into simpler objects. As a proof technique, it may be used to show that an equation is satisfied by all possible implementations of such a specification.

References

• Coinduction