Grâce à notre expérience de
la modélisation, et à notre capacité à comprendre et à abstraire les
besoins de nos clients, nous assistons les opérateurs, industriels et
donneurs d'ordre dans leur tâche de vérification des spécifications et
des cahiers des charges systèmes et logiciels.
La méthode B
associée à d'autres formalismes est utilisée pour aider à analyser,
valider, réorganiser et fournir les éléments qui permettent de
compléter les spécifications et cahiers des charges. Cette approche
est applicable à tous les domaines industriels. Elle est utilisée
aujourd'hui avec succès dans les domaines automobile, bancaire,
spatial, et nucléaire.
