Comme nous le mentionnions dans notre numéro du 1^erseptembre, la proposition de rachat de l’ensemble de ses actions faite par le Britannique TransEDA, fournisseur de logiciels de couverture pour la validation des conceptions, auprès du Français TNI-Valiosys, spécialisé dans le domaine des outils de vérification par preuves formelles pour les marchés de la

…