Les approches statiques facilitent les validations des programmes

Les approches statiques facilitent les validations des programmes
 

La vérification statique du code sort des laboratoires et devient une réalité industrielle. Polyspace propose un outil unique en son genre, qui arrive au bon moment.

Votre opinion

Postez un commentaire