Comme nous le mentionnions dans notre numéro du 1er septembre, 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 CAO…