TrustInSoft apporte les méthodes formelles aux développeurs de code critique en C
Publié le 04-07-2013
par Francois 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...
Je m'abonne
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 | Type | Prix |
| 1 mois | Découverte | 25 euros HT |
| 1 an | Complet | 200 euros HT |
-dissolve-basic-fr(1).jpg)
- 19/09/2013 – Cryptosense teste - méthodiquement - la sécurité des systèmes de cryptage de données
- 05/09/2013 – Avec Green Communications, la qualité de service vient aux réseaux Wi-Fi maillés
- 11/07/2013 – Matooma applique l’infogérance à la gestion des parcs de boîtiers M2M sans fil
- 20/06/2013 – Flexras facilite l’accès au prototypage rapide de circuits sur des systèmes multi-FPGA
- 06/06/2013 – Dynsal invente la commande à distance universelle Bluetooth... via le smartphone
- 23/05/2013 – Microsoft lance un accélérateur de start-up à Paris
