Innovations

Amélioration de la précision des résultats d'analyse de code

• Règles de conception et codage
• Métriques de complexité
• Détection d'erreurs d'exécution
• Détections d'erreurs fonctionnelles
  • Domaines de valeurs
  • Pré/Post-conditions

Automatisation et méthodologies sur le processus de preuve

• Détection d'erreurs génériques
• Preuves d'invariants sur des fonctions critiques
  • Domaines de valeurs
  • Pré/Post-conditions
• Preuve de propriétés système
  • Non occurrence d'événement redouté
  • Propriétés de vivacité
  • Propriétés de cohérence
  • Propriétés temporelles