Ce projet développe une représentation symbolique des structures de Kripke probabilistes issues de la logique épistémique dynamique. Il permet de modéliser et vérifier des systèmes complexes où des agents interagissent et acquièrent des connaissances. Les outils implémentés facilitent l'analyse de scénarios comme les jeux de cartes ou les problèmes classiques de logique, en offrant une approche efficace pour les calculs de vérification et d'expérimentations.

CorTexT Structural Analysis est une méthode de CorTexT Manager permettant d'obtenir une vue d'ensemble de l'évolution d'un domaine ou d'un sujet donné. Elle fournit des statistiques sur les mesures macro-niveaux du réseau résultant.