portail francophone CAO.fr - communiqués des acteurs
Disponibles avec la Version R2013b de Polyspace, ils permettent une vérification logicielle complète dès les premières phases de développement en couvrant la détection d’erreurs, la vérification de règles de codage et la preuve d’absence d’erreurs d’exécution. Ces produits permettent de garantir la robustesse des logiciels embarqués destinés à fonctionner aux plus hauts niveaux de qualité et de sécurité.
