(11) 98705-3426
TrademarkIQ íconeTrademarkIQ
Voltar para busca
Dado oficial do INPI

MÉTODO PARA SEGURANÇA DE UM PRIMEIRO PROGRAMA, E, MÍDIA LEGÍVEL POR COMPUTADOR

ConcedidaPatente de InvençãoPCT · IB2014058600

Dados do pedido

Patente de Invenção MÉTODO PARA SEGURANÇA DE UM PRIMEIRO PROGRAMA, E, MÍDIA LEGÍVEL POR COMPUTADOR — IPC G06F 11/36
Patente de Invenção MÉTODO PARA SEGURANÇA DE UM PRIMEIRO PROGRAMA, E, MÍDIA LEGÍVEL POR COMPUTADOR — IPC G06F 11/36. Figura publicada pelo INPI na Revista da Propriedade Industrial.

Número

112015020394

Tipo

Patente de Invenção

Depósito

28/01/2014

Publicação

18/07/2017

PCT

IB2014058600

Andamento no INPI

  1. Depósito28/01/14
  2. Publicação18/07/17
  3. Exame
  4. Deferimento03/05/22
  5. Concessão14/06/22
  6. Em vigor28/01/34

Patente concedida em 14/06/2022 e em vigor até 28/01/2034. Até lá, ninguém pode fabricar, usar ou vender a invenção no Brasil sem autorização do titular.

Proteção válida até:28/01/2034

Deixe seu contato e avisamos você

Acompanhamos as publicações do INPI e avisamos assim que houver movimentação neste processo.

Usamos seus dados apenas para este aviso.

Última movimentação publicada pelo INPI: 14/06/2022. Atualizamos a cada nova RPI, publicada semanalmente.

Depositantes e inventores

Depositantes

D. B. (pessoa física)

FR

Inventores

D. B. (pessoa física)

FR

Dados técnicos

Classificação IPC

Prioridades unionistas

US

13/777,524 · 26/02/2013

Resumo técnico

MÉTODO PARA SEGURANÇA DE UM PRIMEIRO PROGRAMA, E,MÍDIA LEGÍVEL POR COMPUTADORUm método para segurança de um primeiro programa, oprimeiro programa compreendendo um número finito de pontos de programae regras de evolução associadas a pontos de programa e definindo a passagemde um ponto de programa para outro, compreendendo: uma definição de umapluralidade de casos de saída e, quando um segundo programa é usado nadefinição do primeiro programa, para cada caso de saída, definição de umaramificação para um ponto de programa específico do primeiro programa ouuma declaração de impossibilidade de ramificação; e uma definição de umconjunto de propriedades a serem provadas, cada uma associada com um doselementos constitutivos do primeiro programa, dito conjunto de propriedadescompreendendo a impossibilidade de ramificação como uma propriedadeparticular; estabelecimento da prova formal do conjunto de propriedades.

Histórico de despachos

Publicações na Revista da Propriedade Industrial (RPI).

Concessão da patente

#16.1

Prazo de Validade: 20 (vinte) anos contados a partir de 28/01/2014, observadas as condições legais

14/06/2022

RPI 2684

Deferimento

#9.1

03/05/2022

RPI 2678

Exigência preliminar

#6.21

27/02/2020

RPI 2564

Retificação da notificação da fase nacional - PCT

#1.3.1

Retificação do despacho 1.3 publicado na RPI nº 2428, de 18/07/2017, para corrigir o título (item - 54).

12/11/2019

RPI 2549

Notificação de acesso ao patrimônio genético

#6.6.1

13/11/2018

RPI 2497

Notificação de entrada na fase nacional - PCT

#1.3

Publicação automática da admissibilidade da fase nacional depositado via PCT . Tratado de cooperação em matéria de Patentes, conforme Instrução Normativa nº 02, de 06/06/2017 publicada na RPI nº 2422, de 06/06/2017.

18/07/2017

RPI 2428

Alteração de dados cadastrais

#1.1

08/09/2015

RPI 2331

Monitoramento de patentes

Acompanhe esta patente em tempo real.

Receba alertas de despachos, decisões e vencimentos do INPI para o seu portfólio.