Processo de verificação de um transformador de código, e, aplicação do processo de verificação

Número do pedido da patente:
PI 0006883-7 B1

Data do depósito:
28/06/2000

Data da publicação:
30/10/2001

Data da concessão:
07/02/2012

Prioridade unionista:

País	Número	Data
FRANÇA	99/08460	01/07/1999

Inventores:

Christian Goire

Thomas Jensen

Pascal Fradet

Daniel Le Metayer

Ewen Denney

Classificação:
G06F 9/45

Disposi??es para controle por programas, p. ex. unidade de controle; / usando programa armazenado, i.e. usando a mem?ria interna do equipamento de processamento para receber e reter programas; / Disposi??es para execu??o de programas espec?ficos; / Compila??o ou interpreta??o de linguagens de programas de alto n?vel;

;

Nome do titular:
Cp8 Technologies

Nome do procurador:
Di Blasi, Parente, S. G. & Associados S/C

Início da fase nacional:
01/03/2001

PCT:
Número: FR0001815 Data:28/06/2000

WO:
Número: 01/02955 Data: 11/01/2001

"PROCESSO DE VERIFICAÇÃO DE UM TRANSFORMADOR DE CÓDIGO, E, APLICAÇÃO DO PROCESSO DE VERIFICAÇÃO". A invenção refere-se a um processo de verificação de um transformador de código fonte e um código transformado destinado a um sistema incorporado (7). O processo compreende pelo menos as etapas de determinação de uma máquina virtual única fatorizando o comportamento destes dois códigos (1, 3), de diversas funções ditas auxiliares representando diferenças residuais entre citados códigos fonte (1) e transformado (3) e uma etapa consistindo na verificação de uma propriedade de correspondência entre as funções auxiliares, a verificação do transformador de código (2) sendo obtida a partir desta última etapa. A invenção é notadamente aplicada aos cartões com chip integrado (7).