L'embarqué > Logiciel > Développement > La démocratisation des méthodes de preuve formelle est en marche

La démocratisation des méthodes de preuve formelle est en marche

Publié le 06 juin 2013 à 13:13 par François Gauthier        Développement AdaCore

Hi-Lite Project

Initié en 2010, doté d'une enveloppe globale de 3,9 millions d’euros et financé à hauteur de 1,4 million par les pouvoirs publics dans le cadre du pôle de compétitivité Systematic, le projet de recherche industrielle Hi-Lite trouve aujourd’hui son épilogue. Porté par la société Adacore, fournisseur d’outils de développement et de test pour le langage Ada, ce projet s'est attaché à évaluer comment l’utilisation des méthodes de preuve formelle pouvait améliorer les méthodes de test des codes embarqués critiques. ...

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 :





 

 

Sur le même sujet