(19)
(11) EP 2 109 821 A2

(12)

(88) Date de publication A3:
13.08.2009

(43) Date de publication:
21.10.2009  Bulletin  2009/43

(21) Numéro de dépôt: 08708225.1

(22) Date de dépôt:  25.01.2008
(51) Int. Cl.: 
G06F 11/36(2006.01)
(86) Numéro de dépôt:
PCT/EP2008/050901
(87) Numéro de publication internationale:
WO 2008/095799 (14.08.2008 Gazette  2008/33)
(84) Etats contractants désignés:
AT BE BG CH CY CZ DE DK EE ES FI FR GB GR HR HU IE IS IT LI LT LU LV MC MT NL NO PL PT RO SE SI SK TR

(30) Priorité: 26.01.2007 FR 0700557

(71) Demandeur: Commissariat à l'Energie Atomique
75015 Paris (FR)

(72) Inventeurs:
  • CUOQ, Pascal
    F-91400 Orsay (FR)
  • MONATE, Benjamin
    F-93400 Bourg La Reine (FR)

(74) Mandataire: Lucas, Laurent Jacques et al
Marks & Clerk France Conseils en Propriété Industrielle Immeuble " Visium " 22, avenue Aristide Briand
94117 Arcueil Cedex
94117 Arcueil Cedex (FR)

   


(54) PROCEDE ET SYSTEME DE VERIFICATION DE PROPRIETES D'UN PROGRAMME INFORMATIQUE