PolySpace

PolySpace est un logiciel d'analyse statique de programmes permettant de trouver des bugs dans des logiciels sans devoir les exécuter. Il est capable d'analyser des programmes écrits en C, C++ et Ada par interprétation abstraite. Ce logiciel est utilisé dans les secteurs de l'automobile, de l'aéronautique, de l'énergie et de la défense.

Texte : extrait de l'article Wikipédia « PolySpace », sous licence CC BY-SA 4.0.