NSCvCC de Jeda Technologies Cet outil de vérification des modèles assure la mesure de la qualité des blocs d’IP et la détection du code pas entièrement testé. Couverture des décisions/conditions Couverture des conditions multiples Couverture fonctionnelle du code Support des langages C/C+ et SystemCRens. : www.jedatechnologies.net