Action : CERTILAB - certilab

<body bgcolor="#FFFFFF" text="#000000" link="#9944EE" vlink= "#0000FF" alink="#00FF00"> <h2><a name="SECTION00041000000000000000" id= "SECTION00041000000000000000">Panorama</a></h2>  <a name="CERTILAB_domaine_panorama" id= "CERTILAB_domaine_panorama"></a> <p><strong>Mots clés :</strong> <i>programmation sûre, logiciel certifié, internet, télécommunications, transports, énergie nucléaire .</i></p> <p>Nos compétences sur les spécifications formelles et les preuves intéressent l'ensemble des domaines industriels où la présence d'erreurs même minimes dans les programmes peut avoir des conséquences graves : danger pour la vie humaine comme dans l'énergie nucléaire ou les transports (avions, automobiles), la chirurgie assistée par ordinateur, ou simplement coût prohibitif comme dans le cas du commerce électronique et des réseaux de télécommunication, ou du spatial.</p> </body>