METHODES FORMELLES

Compétences :

CELAR	Adéquation de la technologie B pour la recherche de vulnérabilité d'une cible d'évaluation.
ALCATEL	Formation à la notation Z. Conseil pour l'intégration de la notation Z dans un processus de test de production de radio téléphone. Rédaction d'une spécification pilote, de services de tests prenant en compte l'existant, c'est à dire un langage de spécification semi formel, et intégrant la notation Z comme langage formel. Rédaction de spécification formelle de câblage d'interconnexion d'une baie de test.
GDF	Etude visant à établir une meilleure maîtrise des développements des logiciels à fortes contraintes de sûreté de fonctionnement : automatisation dans la génération de code, amélioration des activités de vérification et de validation.
Matra Transport International	Participation à la mise en oeuvre d'un processus de validation de développement formel en B.