Averant dote son outil de vérification formelle des propriétés de la gestion de la vérification

Le 04/06/2007 à 14:00 par Cédric Lardière

L’Américain Averant, connu sous le nom de HDAC avant 2000 et spécialisé dans les logiciels de vérification formelle des propriétés au niveau…

L’Américain Averant, connu sous le nom de HDAC avant 2000 et spécialisé dans les logiciels de vérification formelle des propriétés au niveau RTL, vient d’introduire la version 5.0 de Solidify. Introduite dans la

Cet article n'est pas accessible publiquement.
Connectez-vous pour accéder à ce contenu.

Copy link
Powered by Social Snap