PolySpace analyse le code pour stabiliser les applications

PolySpace examine le comportement des applications. Son but est de garantir l'exécution des logiciels embarqués.