Raisonnement Coinductif

Une méthode de définition et de raisonnement sur des structures ou comportements potentiellement infinis ou circulaires en les caractérisant comme points fixes les plus grands d'opérateurs et en prouvant des propriétés par des hypothèses coinductives telles que des bisimulations et des observations.