L'embarqué > Logiciel > Start-up > TrustInSoft apporte les méthodes formelles aux développeurs de code critique en C

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        Start-up TrustInSoft

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

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. ...

La lecture de cet article est réservé aux abonnés payants du site.

 

 

Pour plus de souplesse, nous vous proposons plusieurs formules d'abonnement sans aucune obligation de renouvellement :

       Durée Prix
       1 mois      12 euros HT, soit 14,40 euros TTC
       6 mois   60 euros HT, soit 72 euros TTC 
       1 an  120 euros HT, soit 144 euros TTC

 

  • Vous avez déjà un compte, n'oubliez pas de vous connecter en cliquant sur "Connexion"

 

  • Vous avez déjà un compte, vous êtes connecté, et vous souhaitez souscrire un abonnement payant : 


 

  • Vous n'avez pas de compte et vous souhaitez souscrire un abonnement payant :