Verocel transforme en un outil sur étagère son savoir-faire en service pour la certification
Publié le 30-04-2014
par Francois Gauthier
Société de services spécialisée dans la vérification et la certification de logiciels critiques utilisés dans l’avionique, les transports et l’industrie, l’américain Verocel a décidé de transformer sa technologie et...
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)
- 15/05/2014 – Automobile : Vector muscle le test et le débogage des logiciels Autosar enfouis dans les ECU
- 07/05/2014 – Le spécialiste du “débogage réversible” Undo Software lève 1,25 million de dollars
- 05/05/2014 – Altran et AdaCore lancent un outil de vérification statique de code basé sur le langage Spark 2014
- 15/04/2014 – National Instruments et l'université de Lund planchent sur le test de "Massive Mimo” pour la 5G
- 14/04/2014 – GrammaTech introduit le test statique de code binaire tierce partie dans l'outil CodeSonar
- 04/04/2014 – L’organisme américain Nist distingue la technologie de cybersécurité du français TrustInSoft
