Actions industrielles

• Adaptation dynamique de programmes systèmes par spécialisation incrémentale
• Génération automatique de services réseaux intelligents
• Optimisation du micro-noyau IBM
• Aide à la production de jeux de tests
• Preuve de propriétés de sécurité