Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
and polyspace code prover
Vertaling van "and polyspace code prover" in Frans
et Polyspace Code Prover
Polyspace Bug Finder and Polyspace Code Prover for formal verification of hand-written and generated code
La robustesse du logiciel a également été vérifiée avec Polyspace Bug Finder et Polyspace Code Prover lors des phases d'intégration et de développement.
Embedded Coder for generating production quality code for field deployment Polyspace Bug Finder and Polyspace Code Prover for formal verification of hand-written and generated code
La robustesse du logiciel a également été vérifiée avec Polyspace Bug Finder et Polyspace Code Prover lors des phases d'intégration et de développement.
After the analysis and verification is completed, you can automatically assign results to component owners, send email notifications to owners, and upload results to Polyspace Bug Finder Access and Polyspace Code Prover Access.
Notifier et publier des résultats pour une revue collaborative Attribuez automatiquement les défauts aux propriétaires des composants, envoyez des notifications par email et importez les résultats dans Polyspace Bug Finder Access pour faciliter le tri et la résolution des problèmes.
Polyspace Bug Finder Server and Polyspace Code Prover Server are new Polyspace products that allow the static analysis engine to run on a server-class machine with build automation tools.
Polyspace Bug Finder Server et Polyspace Code Prover Server sont des nouveaux produits Polyspace qui permettent d'exécuter le moteur d'analyse statique sur une machine de type serveur avec des outils d'automatisation intégrés.
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 4. Exact: 4. Verstreken tijd: 34 ms.
