Raisonnement continu
De Wikipedia, l'encyclopédie encyclopedia
Le raisonnement continu (en anglais : continuous reasoning, CR) est une méthode de raisonnement automatisé qui exploite la compositionnalité, pour analyser les systèmes à grande échelle de manière différentielle[1].