(19)
(11) EP 2 318 961 A1

(12)

(43) Date de publication:
11.05.2011  Bulletin  2011/19

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

(22) Date de dépôt:  10.07.2009
(51) Int. Cl.: 
G06F 17/50(2006.01)
(86) Numéro de dépôt:
PCT/FR2009/000860
(87) Numéro de publication internationale:
WO 2010/018313 (18.02.2010 Gazette  2010/07)
(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 MK MT NL NO PL PT RO SE SI SK SM TR
Etats d'extension désignés:
AL BA RS

(30) Priorité: 13.08.2008 FR 0804584

(71) Demandeurs:
  • Inria Institut National de Recherche en Informatique et en Automatique
    78150 Le Chesnay (FR)
  • Universite De Rennes 2 - Haute Bretagne
    35000 Rennes (FR)

(72) Inventeurs:
  • CEROU, Frédéric
    F-35200 Rennes (FR)
  • FURON, Teddy
    F-35150 Boistrudan (FR)
  • GUYADER, Arnaud
    F-35000 Rennes (FR)

(74) Mandataire: Domenego, Bertrand 
Cabinet Lavoix 2, place d'Estienne d'Orves
75441 Paris Cedex 09
75441 Paris Cedex 09 (FR)

   


(54) OUTIL DE VÉRIFICATION INFORMATIQUE