Offre

Prestations forfaitaires

• Spécification (formalisation) et preuve de propriétés, détection d'erreurs de spécification en amont du cycle de développement
• Vérification et audits de systèmes logiciels

Assistance technique

• Rédaction d'exigences et de cahier des charges pour les systèmes critiques
• Aide à la conception de systèmes
• Activités de vérification «dans le flot»

Déploiement de technologies innovantes, processus

• Outils de preuve
• Outils d'analyse de code