FCA4J est une bibliothèque Java dédiée à l'analyse formelle de concepts (FCA) et à l'analyse conceptuelle relationnelle (RCA). Elle permet de construire des treillis de concepts, des posets AOC et des bases d'implications à partir de contextes formels, facilitant l'exploration et la visualisation de données structurées pour en extraire des connaissances exploitables.

TiAMo est un outil de vérification formelle dédié à l'analyse des systèmes temporisés modélisés par des automates temporisés. Il permet de vérifier des propriétés temporelles complexes sur des modèles, d'identifier des erreurs de conception ou de synchronisation, et d'optimiser des systèmes critiques comme les protocoles de communication ou les systèmes embarqués. Développé dans le cadre d'un projet de recherche, il est utilisé pour valider la correction et la fiabilité des systèmes avant leur déploiement.

Bibliothèque logicielle dédiée à l'analyse formelle de concepts, une méthode mathématique pour organiser et structurer des données en concepts hiérarchisés. Elle permet d'extraire des connaissances à partir de jeux de données complexes, facilitant ainsi la modélisation et l'analyse de relations entre objets et attributs.

Ce projet extrait et traite des matrices de comparaison de produits (PCMs) depuis des pages Wikipedia dédiées aux logiciels. Il nettoie et structure ces données pour les rendre exploitables en analyse formelle de concepts (FCA) et en extraction de variabilités. Les PCMs sont transformées en formats adaptés (CSV, RCFT) pour des outils comme RCAExplore, facilitant l'étude des caractéristiques et des relations entre produits.

Ce projet propose une plateforme éducative dédiée à l'analyse d'exercices de génétique formelle pour les élèves de terminale spécialité SVT. Il permet aux utilisateurs de s'entraîner et de mieux comprendre les concepts clés de la génétique à travers des exemples concrets et des cas pratiques.

KMADe est un outil d'analyse et de modélisation des activités humaines dédié à la conception et à l'évaluation ergonomique des systèmes interactifs. Il permet de décrire, d'analyser et de formaliser les activités des utilisateurs dans des environnements (informatisés ou non), en situation réelle ou simulée. KMADe est basé sur un modèle formel qui facilite la description, l'examen et l'analyse des tâches, limite les variations interindividuelles, augmente le niveau de complétion des descriptions, autorise des traitements ultérieurs, et facilite les passages entre les modèles de terrain et les étapes du cycle de vie des logiciels.

CADBIOM est un logiciel open source de modélisation permettant de donner un cadre formel à la modélisation de systèmes biologiques tels que les réseaux de signalisation cellulaire. Il est basé sur la sémantique des transitions surveillées et offre une interface graphique pour faciliter la conception et l'analyse de ces modèles.