GeoFer est une plateforme publique dédiée à la diffusion d'informations sur les infrastructures ferroviaires en France. Elle permet d'accéder à des données détaillées sur les gares, les voies, les installations embranchées et les passages à niveau. Le service propose également des outils d'analyse spatiale et des statistiques pour évaluer l'activité et le potentiel des sites ferroviaires, facilitant ainsi la planification et la gestion des transports.

Typstevals est un outil d'analyse statique conçu pour évaluer et valider les types dans les langages de programmation. Il permet aux développeurs de détecter des erreurs de typage potentielles avant l'exécution du code, améliorant ainsi la robustesse et la maintenabilité des projets. Utilisé principalement dans le cadre du développement logiciel, il s'intègre facilement aux pipelines CI/CD pour garantir une qualité constante du code.

Qualitedev est une plateforme dédiée à l'amélioration continue des projets de développement logiciel. Elle permet aux équipes techniques d'automatiser les tests, d'analyser la qualité du code et de détecter les vulnérabilités potentielles. L'objectif est de réduire les erreurs, d'optimiser les performances et de garantir la fiabilité des applications avant leur mise en production.

VeriFast est un outil d'analyse statique conçu pour vérifier la sécurité et la correction des programmes. Il permet de détecter des vulnérabilités potentielles dans le code source, notamment en Java, en s'appuyant sur des annotations et des propriétés formelles. L'outil est utilisé pour garantir la robustesse des systèmes critiques, comme les cartes à puce ou les applications embarquées, en identifiant les erreurs de logique ou les failles de sécurité avant leur déploiement.

Outil dédié à l'analyse et à la sécurisation des infrastructures informatiques. Il permet d'identifier les failles potentielles, d'auditer les configurations et de renforcer la protection des systèmes contre les cybermenaces. Utilisé principalement par des équipes techniques pour garantir la robustesse et la conformité des environnements numériques.

ProVerif est un outil dédié à la vérification automatique de propriétés de sécurité des protocoles cryptographiques. Il permet de modéliser et d'analyser des protocoles pour détecter des vulnérabilités potentielles, garantissant ainsi leur robustesse face aux attaques. Utilisé dans la recherche académique et industrielle, il aide à sécuriser les communications et les échanges de données.