我们可以确认我们的代码是système embarqué，我们的代码是même，我们的代码是modèles。Les méthodes de vérification formelle reent sur procédures mathématiquement rigoureuses和passent en revue Les différentes possibilités d'exécution de votre modèle你编码标识在你的概念中错误。您可以使用vérification sur les modèles和代码généré à partir de ces modèles。
Vérification formelle de modèles
你们可以在méthodes de vérification中找到错误的标识符，在modèle和générer中找到模拟中重复错误的向量。À la différence des méthodes de test traditional nelles dans lesquelles les résultats attendus sont exprimés en values concrètes, les techniques de vérification formelle，你们可以学到很多知识Modèles de comportement système．Ces modèles可以包括scénarios de test和vérification qui décrivent les comportements système souhaités和非souhaités。我们可以通过effectuée sur ces modèles complète la simulation et permet Une meilleure compréhension de votre conception进行分析。
Pour plus d'information, reportez-vous à金宝app仿真软件设计校验™．
Vérification formelle解码
用l '分析静态du代码et méthodes de vérification formelle，你可以使用我们的outtill pour détecter和démontrer l 'absence d 'overflow，除par zéro, de débordement de tableaux和其他错误d' 'exécution在代码源代码écrit en C/ c++ ou Ada。您可以使用vérification du code écrit manuelement ou généré des logiciels embarqués。您可以下载également vérifier la conformité avec编码规范，通过下载complexité代码和qualité逻辑表。
提供更多的信息，报告您的产品Polyspace®．
