L'embarqué > TrustInSoft

TrustInSoft

TrustInSoft apporte les méthodes formelles aux développeurs de code critique en C

Publié le 04 juillet 2013 à 20:27 par François Gauthier        

Créé le 2 mai 2013, TrustInSoft ouvre aux développeurs de code C, C++ et Java la possibilité de mettre en oeuvre de puissantes méthodes d'analyse statique pour détecter des erreurs complexes à trouver par des approches de test classiques. Le tout avec un framework facile d'accés, basé sur l'outil Frama-C issu des technologies du CEA. ...

Réservé aux abonnés Partager
Lire